Treewidth computation and extremal combinatorics

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

Concrete Mathematics: A Foundation for Computer Science

Ronald Graham, Donald E. Knuth, Oren Patashnik et al. · Computers in Physics · 1989 · 2.5K citations

Natural Sciences, Computer Science, Mathematics +4

A Linear-Time Algorithm for Finding Tree-Decompositions of Small Treewidth

Hans L. Bodlaender · SIAM Journal on Computing · 1996 · 1.6K citations

Computing, Computer Science, Algorithms +11

Graph minors. II. Algorithmic aspects of tree-width

Neil Robertson, Paul Seymour · Journal of Algorithms · 1986 · 1.5K citations

Computing, Computer Science, Mathematics +14