Forward Checking and Intelligent Backtracking.
David A. WolframPublished in: Inf. Process. Lett. (1989)
Keyphrases
- forward checking
- constraint satisfaction
- constraint satisfaction problems
- conflict directed
- arc consistency
- variable ordering
- tree search
- backtracking algorithms
- constraint propagation
- backtracking algorithm
- search tree
- heuristic search
- random instances
- combinatorial problems
- constraint programming
- branch and bound algorithm
- phase transition
- non binary
- maintaining arc consistency
- constraint networks
- np complete
- space complexity
- backtracking search
- np hard
- search algorithm
- optimal solution