Journal of Computer and System Sciences · 2001 · 26 citations · 23 references
ComputingComputer EngineeringComputer ScienceAlgorithmsComputational ComplexityProof ComplexitySublinear AlgorithmsTime ComplexityComplexity Of SatisfiabilityNon-deterministic Time ComplexityNondeterministic ComplexityNondeterministic Space ComplexityTime-space Tradeoffs
23
Introduction to automata theory, languages, and computation
Computer Languages · 1980 · 6.9K citations
The complexity of theorem-proving procedures
Stephen Cook · 1971 · 6.2K citations · Full text
Some connections between nonuniform and uniform complexity classes
Richard M. Karp, Richard J. Lipton · 1980 · 582 citations · Full text
Relations Among Complexity Measures
Nicholas Pippenger, Michael J. Fischer · Journal of the ACM · 1979 · 390 citations · Full text