Keyphrases
- phase transition
- np complete
- boolean formula
- constraint satisfaction
- satisfiability problem
- randomly generated
- combinatorial problems
- np hard
- hard problems
- computational complexity
- average degree
- random instances
- graph coloring
- random constraint satisfaction problems
- sat problem
- np complete problems
- cellular automata
- random graphs
- relational learning
- constraint satisfaction problems
- hamiltonian cycle
- term dnf
- special case
- scheduling problem