Keyphrases
- constraint satisfaction problems
- random instances
- phase transition
- constraint satisfaction
- random constraint satisfaction problems
- np complete
- combinatorial problems
- randomly generated
- constraint propagation
- constraint programming
- search space
- non binary
- graph coloring
- sat problem
- satisfiability problem
- np hard
- constraint networks
- arc consistency
- hard problems
- constraint problems
- global constraints
- random sat
- pseudo boolean optimization
- random graphs
- symmetry breaking