(1, 2)-QSAT: A Good Candidate for Understanding Phase Transitions Mechanisms.

Nadia Creignou Hervé Daudé Uwe Egly Raphaël Rossignol

Published in: SAT (2009)

Keyphrases

phase transition
mechanisms underlying
constraint satisfaction
random constraint satisfaction problems
randomly generated
np complete
hard problems
satisfiability problem
combinatorial problems
sat problem
stochastic local search
cellular automata
graph coloring
random instances
deep structure