Constraint satisfaction from a deductive viewpoint

Consistency in networks of relations

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

Computing, Computer Science, Knowledge Representation +8

The complexity of some polynomial network consistency algorithms for constraint satisfaction problems

Alan K. Mackworth, Eugene C. Freuder · Artificial Intelligence · 1985 · 616 citations

Computing, Computer Science, Mathematics +11

Deduction revision by intelligent backtracking

Maurice Bruynooghe, Luı́s Moniz Pereira · Lirias (KU Leuven) · 1984 · 86 citations · Full text

Computing, Computer Science, Algorithms +8

Matings in matrices

Wolfgang Bibel · Communications of the ACM · 1983 · 85 citations · Full text

Management, Sociology, Group Dynamics +6

On the parallel complexity of some constraint satisfaction problems

Simon Kasif · 1986 · 22 citations

Computing, Computer Science, Algorithms +12