A survey of constraint satisfaction techniques for geometric modeling

Sketchpad

Ivan E. Sutherland · 1963 · 1.8K citations

Computing, Computer Science, Drawing +8

An assumption-based TMS

Johan de Kleer · Artificial Intelligence · 1986 · 1.8K citations

A Sufficient Condition for Backtrack-Free Search

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

Computing, Computer Science, Data Mining +6

The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory

Alan Borning · ACM Transactions on Programming Languages and Systems · 1981 · 623 citations · Full text

Computing, Computer Science, Knowledge Representation +9

Constraint propagation with interval labels

Ernest Davis · Artificial Intelligence · 1987 · 528 citations

Computing, Computer Science, Algorithms +11