The Arc and Path Consistency Phase Transitions.
Stuart A. GrantBarbara M. SmithPublished in: CP (1996)
Keyphrases
- path consistency
- phase transition
- constraint satisfaction
- constraint satisfaction problems
- constraint networks
- temporal reasoning
- arc consistency
- constraint propagation
- random constraint satisfaction problems
- global consistency
- satisfiability problem
- randomly generated
- combinatorial problems
- hard problems
- np complete problems
- random instances
- np complete
- sat problem
- cellular automata
- interval algebra
- graph coloring
- constraint programming
- random graphs
- sat solvers
- temporal constraints
- singleton arc consistency
- ord horn