Keyphrases
- phase transition
- constraint satisfaction
- satisfiability problem
- random constraint satisfaction problems
- randomly generated
- np complete
- hard problems
- combinatorial problems
- random instances
- sat problem
- stochastic local search
- deep structure
- random graphs
- graph coloring
- np complete problems
- genetic programming
- lower bound
- state space
- search space