Scaling Effects in the CSP Phase Transition.
Ian P. GentEwan MacIntyrePatrick ProsserToby WalshPublished in: CP (1995)
Keyphrases
- phase transition
- constraint satisfaction
- random instances
- constraint satisfaction problems
- sat problem
- np complete
- randomly generated
- combinatorial problems
- satisfiability problem
- hard problems
- graph coloring
- arc consistency
- random constraint satisfaction problems
- deep structure
- stochastic local search
- constraint programming
- random graphs
- average degree
- constraint propagation
- np complete problems
- np hard
- lower bound
- heuristic search
- hamiltonian cycle
- global constraints
- constraint networks
- reinforcement learning
- decision problems
- cellular automata