Theoretical Computer Science · 1986 · 659 citations · 14 references
ComputingComputer ScienceArtificial IntelligenceSolution EvaluationNp-complete ProblemsProblem HardnessUniqueness Of Solutions
14
The complexity of theorem-proving procedures
Stephen Cook · 1971 · 6.2K citations · Full text
The complexity of computing the permanent
Leslie G. Valiant · Theoretical Computer Science · 1979 · 2.8K citations
Universal classes of hash functions
J.Lawrence Carter, Mark N. Wegman · Journal of Computer and System Sciences · 1979 · 2.6K citations
A complexity theoretic approach to randomness
Michael Sipser · 1983 · 470 citations · Full text
On Isomorphisms and Density of $NP$ and Other Complete Sets
L. Berman, Juris Hartmanis · SIAM Journal on Computing · 1977 · 460 citations