Exact location of the phase transition for random (1, 2)-QSAT.
Nadia CreignouHervé DaudéUwe EglyRaphaël RossignolPublished in: RAIRO Theor. Informatics Appl. (2015)
Keyphrases
- phase transition
- random instances
- random constraint satisfaction problems
- randomly generated
- random sat
- constraint satisfaction
- easy hard easy pattern
- satisfiability problem
- hard problems
- np complete
- combinatorial problems
- graph coloring
- np complete problems
- deep structure
- random graphs
- sat problem
- lower bound
- hamiltonian cycle
- boolean satisfiability
- average degree
- constraint satisfaction problems
- special case