Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace:

Towards industrial-like random SAT instances
Ansótegui Gil, Carlos; Bonet Carbonell, M. Luisa; Levy Díaz, Jordi
Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics; Universitat Politècnica de Catalunya. LOGPROG - Lògica i Programació
We 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 by a clever solver in a reasonable amount of time. This is not possible, in general, with classical randomly generated instances. We provide different generation models of SAT instances, extending the uniform and regular 3-CNF models. They are based on the use of non-uniform probability distributions to select variables. Our last model also uses a mechanism to produce clauses of different lengths as in industrial instances. We show the existence of the phase transition phenomena for our models and we study the hardness of the generated instances as a function of the parameters of the probability distributions. We prove that, with these parameters we can adjust the difficulty of the problems in the phase transition point. We measure hardness in terms of the performance of different solvers. We show how these models will allow us to generate random instances similar to industrial instances, of interest for testing purposes.
Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica::Algorísmica i teoria de la complexitat
Decision making
Problem solving
Computer algorithms
SAT instances
Decisió, Presa de
Solució de problemes
Algorismes computacionals
AAAI Press. Association for the Advancement of Artificial Intelligence

Mostrar el registro completo del ítem

Documentos relacionados

Otros documentos del mismo autor/a

Ansótegui Gil, Carlos; Bonet Carbonell, M. Luisa; Gabàs, Joel; Levy Díaz, Jordi
Ansótegui Gil, Carlos; Bonet Carbonell, M. Luisa; Giráldez Crú, Jesús; Levy Díaz, Jordi
Ansótegui, Carlos; Bonet Carbonell, M. Luisa; Levy Díaz, Jordi
Bonet Carbonell, M. Luisa; John, Katherine St.
Aisenberg, James; Bonet Carbonell, M. Luisa; Buss, Sam