Theoretical analysis of singleton arc consistency and its extensions

Consistency in networks of relations

Alan K. Mackworth · Artificial Intelligence · 1977 · 2.4K citations

Network Science, Graph Theory, Engineering +7

Networks of constraints: Fundamental properties and applications to picture processing

Ugo Montanari · Information Sciences · 1974 · 1.2K citations · Full text

Constraint Solving, Machine Vision, Image Analysis +9

A Sufficient Condition for Backtrack-Free Search

Eugene C. Freuder · Journal of the ACM · 1982 · 654 citations · Full text

Arc and path consistency revisited

Roger Mohr, Thomas C. Henderson · Artificial Intelligence · 1986 · 617 citations

Geometric Modeling, Path Planning, Trajectory Planning +9

Synthesizing constraint expressions

Eugene C. Freuder · Communications of the ACM · 1978 · 529 citations · Full text

Mathematical Programming, Engineering, Network Analysis +20