1977 · 100 citations · 8 references
ComputingComputer ScienceMathematicsTheory Of ComputationComplexity TheoryComputational ComplexityCompleteness ResultsComplexity-theoretic HardnessNp-complete ProblemsNp-completenessReducibility
The method of showing a problem NP-complete by polynomial reduction is one of the most elegant and productive in our theory ([ 1 ], [ 3 ]). It is a means of providing compelling evidence that a problem in NP is not in P. In this paper we will demonstrate new methods for showing this.
8
The complexity of theorem-proving procedures
Stephen Cook · 1971 · 6.2K citations · Full text
On the Structure of Polynomial Time Reducibility
Richard E. Ladner · Journal of the ACM · 1975 · 790 citations · Full text
A Fast Monte-Carlo Test for Primality
R. M. Solovay, Volker Strassen · SIAM Journal on Computing · 1977 · 643 citations
Every Prime Has a Succinct Certificate
Vaughan Pratt · SIAM Journal on Computing · 1975 · 310 citations
Riemann's Hypothesis and tests for primality
Gary L. Miller · 1975 · 190 citations · Full text