The Phase Transition Behaviour of Maintaining Arc Consistency.
Stuart A. GrantBarbara M. SmithPublished in: ECAI (1996)
Keyphrases
- phase transition
- maintaining arc consistency
- constraint satisfaction
- constraint satisfaction problems
- arc consistency
- forward checking
- satisfiability problem
- randomly generated
- random instances
- hard problems
- np complete
- combinatorial problems
- graph coloring
- random constraint satisfaction problems
- sat problem
- constraint propagation
- random graphs
- np complete problems
- cellular automata