Solving Satisfiability using Decomposition and the Most Constrained Subproblem (Preliminary Report)

Introduction to Algorithms

V. J. Rayward‐Smith, Thomas H. Cormen, Charles E. Leiserson et al. · Journal of the Operational Research Society · 1991 · 17K citations

Computing, Computer Engineering, Computer Science +9

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

Principles of database and knowledge-base systems

Choice Reviews Online · 1989 · 2.7K citations

Computing, Computer Science, Information Systems +16

Complexity of Finding Embeddings in a <i>k</i>-Tree

Stefan Arnborg, Derek G. Corneil, Andrzej Proskurowski · SIAM Journal on Algebraic and Discrete Methods · 1987 · 1.2K citations

Computing, Computer Science, Mathematics +15

Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis

Richard Stallman, Gerald Jay Sussman · Artificial Intelligence · 1977 · 714 citations

Computing, Computer Engineering, Computer Science +7