Keyphrases
- phase transition
- satisfiability problem
- sat problem
- constraint satisfaction
- np complete
- stochastic local search
- np complete problems
- hard problems
- combinatorial problems
- randomly generated
- boolean satisfiability
- random graphs
- random sat
- graph coloring
- cellular automata
- max sat
- random instances
- davis putnam
- search algorithm
- average degree
- hamiltonian cycle
- constraint satisfaction problems
- random constraint satisfaction problems