Choices without backtracking

Consistency in networks of relations

1977 • 2,477 citations

Qualitative process theory

1984 • 2,080 citations

A truth maintenance system

1979 • 1,816 citations

A qualitative physics based on confluences

1984 • 1,515 citations

The Definition and Implementation of a Computer Programming Language Based on Constraints

1980 • 232 citations

An Outlook on Truth Maintenance.

1980 • 185 citations

Causal and Teleological Reasoning In Circuit Recognition

1979 • 140 citations

Propagation of constraints applied to circuit synthesis

1980 • 115 citations

Reasoning in Multiple Belief Spaces

1988 • 66 citations

Contexts and Data Dependencies: A Synthesis

1983 • 64 citations

A Multiple-Context Equality-Based Reasoning System

1983 • 4 citations