Increasing tree search efficiency for constraint satisfaction problems
- 31 October 1980
- journal article
- Published by Elsevier BV in Artificial Intelligence
- Vol. 14 (3), 263-313
- https://doi.org/10.1016/0004-3702(80)90051-x
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- The Consistent Labeling Problem: Part IIIEEE Transactions on Pattern Analysis and Machine Intelligence, 1980
- The Consistent Labeling Problem: Part IIEEE Transactions on Pattern Analysis and Machine Intelligence, 1979
- Reduction operations for constraint satisfactionInformation Sciences, 1978
- Consistency in networks of relationsArtificial Intelligence, 1977
- Scene Labeling by Relaxation OperationsIEEE Transactions on Systems, Man, and Cybernetics, 1976
- A Proof Procedure Using Connection GraphsJournal of the ACM, 1975
- Estimating the Efficiency of Backtrack ProgramsMathematics of Computation, 1975
- Networks of constraints: Fundamental properties and applications to picture processingInformation Sciences, 1974
- Associating parts of patternsInformation and Control, 1966