Arithmetization: A new method in structural complexity theory

The Knowledge Complexity of Interactive Proof Systems

Shafi Goldwasser, Silvio Micali, Charles Rackoff · SIAM Journal on Computing · 1989 · 3.3K citations

Computing, Computer Science, Mathematics +13

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

Alternation

Ashok K. Chandra, Dexter Kozen, Larry J. Stockmeyer · Journal of the ACM · 1981 · 1.2K citations · Full text

Computing, Computer Science, Mathematics +17

Trading group theory for randomness

László Babai · 1985 · 782 citations

Natural Sciences, Mathematics, Combinatorics +8