Exploració per autor "Levy Díaz, Jordi"
Ara es mostren els items 4-6 de 6
-
Scale-free random SAT instances
Ansótegui Gil, Carlos; Bonet Carbonell, M. Luisa; Levy Díaz, Jordi (Multidisciplinary Digital Publishing Institute (MDPI), 2022-06-20)
Article
Accés obertWe focus on the random generation of SAT instances that have properties similar to real-world instances. It is known that many industrial instances, even with a great number of variables, can be solved by a clever solver ... -
The fractal dimension of SAT formulas
Ansótegui Gil, Carlos; Bonet Carbonell, M. Luisa; Giráldez Crú, Jesús; Levy Díaz, Jordi (Springer, 2014)
Text en actes de congrés
Accés restringit per política de l'editorialModern SAT solvers have experienced a remarkable progress on solving industrial instances. Most of the techniques have been developed after an intensive experimental process. It is believed that these techniques exploit ... -
Towards industrial-like random SAT instances
Ansótegui Gil, Carlos; Bonet Carbonell, M. Luisa; Levy Díaz, Jordi (AAAI Press. Association for the Advancement of Artificial Intelligence, 2009)
Text en actes de congrés
Accés restringit per política de l'editorialWe focus on the random generation of SAT instances that have computational properties that are similar to real-world instances. It is known that industrial instances, even with a great number of variables, can be solved ...