Statistics
Publications
90
Citations
14.9K
H-Index
46
Active since
1969
Affiliations
Stephen Cook is an author at University of Toronto specializing in computer science, computing, and theory of computation.
Publications per year
1969–2024
90
90
The complexity of theorem-proving procedures
Stephen Cook · 1971 · 6.2K citations · Full text
The relative efficiency of propositional proof systems
Stephen Cook, Robert A. Reckhow · Journal of Symbolic Logic · 1979 · 827 citations
1–5 of 90