Random SAT Instances à la Carte.

Carlos Ansótegui Maria Luisa Bonet Jordi Levy

Published in: CCIA (2008)

Keyphrases

random sat instances
stochastic local search
sat problem
sat solvers
max sat
boolean satisfiability
random sat
np complete
constraint satisfaction problems
phase transition
randomly generated
sat instances
optimal solution
satisfiability problem
search tree