Implementing a Test for Tractability

Consistency in networks of relations

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

Computing, Computer Science, Knowledge Representation +8

The complexity of satisfiability problems

Thomas J. Schaefer · 1978 · 1.8K citations · Full text

Computing, Computer Science, Algorithms +12

Networks of constraints: Fundamental properties and applications to picture processing

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

Computing, Computer Science, Computer Vision +11

The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory

Tomás Feder, Moshe Y. Vardi · SIAM Journal on Computing · 1998 · 1.1K citations

Computing, Computer Science, Mathematics +15

Closure properties of constraints

Peter Jeavons, David A. Cohen, Marc Gyssens · Journal of the ACM · 1997 · 498 citations · Full text

Computing, Computer Science, Mathematics +12