Understanding Random SAT: Beyond the Clauses-to-Variables Ratio.

Eugene Nudelman Kevin Leyton-Brown Holger H. Hoos Alex Devkar Yoav Shoham

Published in: CP (2004)

Keyphrases

random sat
phase transition
random sat instances
satisfiability problem
boolean satisfiability
sat problem
search space
random constraint satisfaction problems
randomly generated
max sat
propositional formulas
heuristic search
constraint satisfaction
propositional logic
sat instances