Backtracking and Random Constraint Satisfaction.
Paul Walton Purdom Jr.Published in: Ann. Math. Artif. Intell. (1997)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- constraint propagation
- probabilistic reasoning
- heuristic search
- constraint programming
- phase transition
- constraint relaxation
- relaxation labeling
- combinatorial problems
- russian doll search
- arc consistency
- sat solvers
- constraint networks
- randomly generated
- constraint solving
- random instances
- forward checking
- search strategies