Resolution versus Search: Two Strategies for SAT

The complexity of theorem-proving procedures

Stephen Cook · 1971 · 6.2K citations · Full text

Computing, Computer Science, Mathematics +17

Local Computations with Probabilities on Graphical Structures and Their Application to Expert Systems

Steffen L. Lauritzen, David J. Spiegelhalter · Journal of the Royal Statistical Society Series B (Statistical Methodology) · 1988 · 4K citations

Computing, Mathematics, Knowledge Representation +16

A machine program for theorem-proving

Martin Davis, George Logemann, Donald Loveland · Communications of the ACM · 1962 · 3.2K citations · Full text

Computing, Computer Science, Mathematics +16

A Computing Procedure for Quantification Theory

Martin Davis, Hilary Putnam · Journal of the ACM · 1960 · 2.6K citations · Full text

Computing, Computer Science, Mathematics +15

Consistency in networks of relations

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

Computing, Computer Science, Knowledge Representation +8