AI Communications · 1989 · 116 citations · 16 references
ComputingComputer ScienceAlgorithmsArtificial IntelligenceBacktracking AlgorithmsConstraint SatisfactionConstraint SolvingHeuristic SearchSearching AlgorithmsBacktracking SearchCsp Search AlgorithmsCsp Solving
Many AI problems can be formulated as Constraint Satisfaction Problems (CSP). Using a systematic search process with backtracking this kind of problems can be solved, but this method is very inefficient. Other methods solving CSP have been developed
16
Consistency in networks of relations
Alan K. Mackworth · Artificial Intelligence · 1977 · 2.4K citations
A Sufficient Condition for Backtrack-Free Search
Eugene C. Freuder · Journal of the ACM · 1982 · 656 citations · Full text
Arc and path consistency revisited
Roger Mohr, Thomas C. Henderson · Artificial Intelligence · 1986 · 620 citations