Exploració per autor "Bonet Carbonell, M. Luisa"
Ara es mostren els items 12-15 de 15
-
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 ... -
The Width-size method for general resolution is optimal
Bonet Carbonell, M. Luisa; Galesi, Nicola (1999-02)
Report de recerca
Accés obertThe Width-Size Method for resolution was recently introduced by Ben-Sasson and Wigderson (BSW): Short Proofs are Narrow - Resolution Made Simple STOC 99). They found a trade-off between two complexity measures for ... -
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 ... -
Weighted, circular and semi-algebraic proofs
Bonacina, Ilario; Bonet Carbonell, M. Luisa; Levy Díaz, Jordi (2024-02-11)
Article
Accés obertIn recent years there has been an increasing interest in studying proof systems stronger than Resolution, with the aim of building more efficient SAT solvers based on them. In defining these proof systems, we try to find ...