Pairs of SAT Assignment in Random Boolean Formulae

Hervé Daudé Marc Mézard Thierry Mora Riccardo Zecchina

Published in: CoRR (2005)

Keyphrases

boolean formulae
boolean variables
conjunctive normal form
truth assignment
phase transition
np hard
boolean formula
randomly generated
sat problem
random instances
satisfiability problem
polynomial size
expressive power
search algorithm
sat solvers
query language
practical problems