The Phase Transition and the Mushy Region in Constraint Satisfaction Problems.
Barbara M. SmithPublished in: ECAI (1994)
Keyphrases
- phase transition
- constraint satisfaction problems
- constraint satisfaction
- np complete
- random instances
- combinatorial problems
- sat problem
- constraint programming
- constraint propagation
- satisfiability problem
- hard problems
- graph coloring
- search space
- randomly generated
- np hard
- arc consistency
- np complete problems
- relational learning
- non binary
- stochastic local search
- global constraints
- random graphs
- sat solvers
- cellular automata
- finding optimal solutions
- pseudo boolean optimization