Theoretical Computer Science · 1985 · 118 citations · 17 references
Natural SciencesComputer ScienceMathematicsCombinatoricsDiscrete MathematicsSet TheoryAxiomatic Set TheoryNp-complete ProblemsWitness AvailabilityWitness ClausesWitness Verification
17
Theory of Recursive Functions and Effective Computability
D. C. Cooper · The Computer Journal · 1969 · 2.6K citations · Full text
On the Structure of Polynomial Time Reducibility
Richard E. Ladner · Journal of the ACM · 1975 · 790 citations · Full text
On Isomorphisms and Density of $NP$ and Other Complete Sets
L. Berman, Juris Hartmanis · SIAM Journal on Computing · 1977 · 460 citations