Random 2-XORSAT at the Satisfiability Threshold.

Hervé Daudé Vlady Ravelomanana

Published in: LATIN (2008)

Keyphrases

satisfiability problem
computational complexity
np complete
phase transition
uniformly distributed
randomly generated
decision procedures
databases
website
image segmentation
search algorithm
quantified boolean formulas
random constraint satisfaction problems