Games against nature

The complexity of theorem-proving procedures

Stephen Cook · 1971 · 6.2K citations · Full text

Computing, Computer Science, Mathematics +17

Combinatorial Optimization: Algorithms and Complexity.

David Johnson, Christos H. Papadimitriou, Kenneth Steiglitz · American Mathematical Monthly · 1984 · 6.1K citations

Natural Sciences, Electrical Engineering, Mathematics +16

Dynamic Programming and Markov Processes.

Marshall Freimer, Ronald A. Howard · Journal of the American Statistical Association · 1961 · 3.5K citations

Engineering, Computer Science, Mathematics +14

The complexity of computing the permanent

Leslie G. Valiant · Theoretical Computer Science · 1979 · 2.8K citations

Computing, Computer Science, Mathematics +9

The polynomial-time hierarchy

Larry J. Stockmeyer · Theoretical Computer Science · 1976 · 1.3K citations