Enhancement Schemes for Constraint Processing: Backjumping, Learning, and Cutset Decomposition
@article{Dechter1990EnhancementSF, title={Enhancement Schemes for Constraint Processing: Backjumping, Learning, and Cutset Decomposition}, author={R. Dechter}, journal={Artif. Intell.}, year={1990}, volume={41}, pages={273-312} }
Abstract Researchers in the areas of constraint satisfaction problems, logic programming, and truth maintenance systems have suggested various schemes for enhancing the performance of the backtracking algorithm. This paper defines and compares the performance of three such schemes: “backjumping,” “learning,” and “cycle-cutset.” The backjumping and the cycle-cutset methods work best when the constraint graph is sparse, while the learning scheme mostly benefits problem instances with dense… CONTINUE READING
Figures, Tables, and Topics from this paper
624 Citations
An Optimal Backtrack Algorithm for Tree-Structured Constraint Satisfaction problems
- Mathematics, Computer Science
- Artif. Intell.
- 1994
- 22
Domain Filtering can Degrade Intelligent Backtracking Search
- Mathematics, Computer Science
- IJCAI
- 1993
- 74
- PDF
A Graph Based Backtracking Algorithm for Solving General CSPs
- Computer Science
- Canadian Conference on AI
- 2003
- 7
- PDF
Dynamic variable ordering in graph based backjumping algorithms for csps
- Computer Science, Mathematics
- Int. J. Comput. Math.
- 2000
Resolution versus Search: Two Strategies for SAT
- Computer Science
- Journal of Automated Reasoning
- 2004
- 130
- PDF
Experimental Evaluation of Preprocessing Algorithms for Constraint Satisfaction Problems
- Mathematics, Computer Science
- Artif. Intell.
- 1994
- 113
References
SHOWING 1-10 OF 59 REFERENCES
Network-Based Heuristics for Constraint-Satisfaction Problems
- Mathematics, Computer Science
- Artif. Intell.
- 1987
- 515
Increasing Tree Search Efficiency for Constraint Satisfaction Problems
- Mathematics, Computer Science
- Artif. Intell.
- 1980
- 1,443
- PDF
The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems
- Mathematics, Computer Science
- Artif. Intell.
- 1985
- 741
Intelligent Backtracking in Plan-Based Deduction
- Computer Science, Medicine
- IEEE Transactions on Pattern Analysis and Machine Intelligence
- 1985
- 30
Consistent-Labeling Problems and Their Algorithms: Expected-Complexities and Theory-Based Heuristics
- Mathematics, Computer Science
- Artif. Intell.
- 1983
- 171
Search Rearrangement Backtracking and Polynomial Average Time
- Mathematics, Computer Science
- Artif. Intell.
- 1983
- 200
A Rearrangement Search Strategy for Determining Propositional Satisfiability
- Computer Science
- AAAI
- 1988
- 150
- PDF