Keyphrases
- phase transition
- random instances
- random sat
- hard problems
- randomly generated
- random constraint satisfaction problems
- constraint satisfaction
- satisfiability problem
- constraint satisfaction problems
- lower bound
- np complete problems
- combinatorial problems
- np complete
- sat problem
- sat instances
- stochastic local search
- graph coloring
- constraint programming
- search problems
- orders of magnitude
- pattern databases
- cellular automata
- special case