Tree Search and ARC Consistency in Constraint Satisfaction Algorithms
- 1 January 1988
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- An assumption-based TMSArtificial Intelligence, 1986
- A Sufficient Condition for Backtrack-Free SearchJournal of the ACM, 1982
- A truth maintenance systemArtificial Intelligence, 1979
- The Consistent Labeling Problem: Part IIEEE Transactions on Pattern Analysis and Machine Intelligence, 1979
- Reduction operations for constraint satisfactionInformation Sciences, 1978
- Synthesizing constraint expressionsCommunications of the ACM, 1978
- Backtrack programming techniquesCommunications of the ACM, 1975
- Preliminary report on a system for general space planningCommunications of the ACM, 1972
- REF-ARF: A system for solving problems stated as proceduresArtificial Intelligence, 1970
- Backtrack ProgrammingJournal of the ACM, 1965