The node-deletion problem for hereditary properties is NP-complete

The complexity of theorem-proving procedures

Stephen Cook · 1971 · 6.2K citations · Full text

Computing, Computer Science, Mathematics +17

Depth-First Search and Linear Graph Algorithms

Robert E. Tarjan · SIAM Journal on Computing · 1972 · 6K citations

Computing, Computer Science, Algorithms +16

Some simplified NP-complete graph problems

M. R. Garey, David S. Johnson, Larry Stockmeyer · Theoretical Computer Science · 1976 · 2.1K citations

Computing, Computer Science, Mathematics +11

On a Problem of Formal Logic

Frank Plumpton Ramsey · Proceedings of the London Mathematical Society · 1930 · 1.9K citations

Humanities, Computer Science, Formal Methods +11

GRAPHS AND HYPERGRAPHS

Dominic Welsh · Bulletin of the London Mathematical Society · 1974 · 1.1K citations