Pairs of SAT-assignments in random Boolean formulæ.

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

Published in: Theor. Comput. Sci. (2008)

Keyphrases

boolean functions
sat solvers
pairwise
satisfiability problem
sat solving
sat problem
davis putnam logemann loveland
boolean formula
uniformly distributed
phase transition
real valued
multi valued
closed sets
np complete
conjunctive normal form
search algorithm
neural network