Keyphrases
- phase transition
- constraint satisfaction problems
- random instances
- constraint satisfaction
- sat problem
- np complete
- satisfiability problem
- constraint propagation
- randomly generated
- arc consistency
- np hard
- constraint networks
- random field model
- graph coloring
- constraint problems
- search space
- hard problems
- solving constraint satisfaction problems
- lower bound
- non binary
- constraint programming
- np complete problems
- distributed constraint satisfaction
- computational complexity
- easy hard easy pattern
- max sat
- tree decomposition
- sat solvers
- heuristic search
- backtracking algorithm