Stephen Cook (English Wikipedia)

Cook, Stephen A. (May 5, 1975). "Feasibly constructive proofs and the propositional calculus (Preliminary Version)". Proceedings of seventh annual ACM symposium on Theory of computing - STOC '75. New York: Association for Computing Machinery. pp. 83–97. doi:10.1145/800116.803756. ISBN 978-1-4503-7419-4. S2CID 13309619.
Cook, Stephen A.; Reckhow, Robert A. (1979). "The Relative Efficiency of Propositional Proof Systems". The Journal of Symbolic Logic. 44 (1): 36–50. doi:10.2307/2273702. ISSN 0022-4812. JSTOR 2273702. S2CID 2187041.

informit.com (Global: low place; English: low place)

"Twenty Questions for Donald Knuth".

jstor.org (Global: 23^rd place; English: 15^th place)

Cook, Stephen A.; Reckhow, Robert A. (1979). "The Relative Efficiency of Propositional Proof Systems". The Journal of Symbolic Logic. 44 (1): 36–50. doi:10.2307/2273702. ISSN 0022-4812. JSTOR 2273702. S2CID 2187041.

mathgenealogy.org (Global: 1,849^th place; English: 1,732^nd place)

Stephen Cook at the Mathematics Genealogy Project

nserc-crsng.gc.ca (Global: low place; English: low place)

"Current Winner – 2012 – Stephen Cook". June 28, 2016.

ontario.ca (Global: 5,470^th place; English: 2,867^th place)

news.ontario.ca

"25 Appointees Named to Ontario's Highest Honour". Ministry of Citizenship and Immigration.

saltwire.com (Global: 7,972^nd place; English: 3,999^th place)

"SaltWire | Halifax". www.saltwire.com. Retrieved February 12, 2023.

semanticscholar.org (Global: 15^th place; English: 8^th place)

api.semanticscholar.org

Cook, Stephen A. (May 5, 1975). "Feasibly constructive proofs and the propositional calculus (Preliminary Version)". Proceedings of seventh annual ACM symposium on Theory of computing - STOC '75. New York: Association for Computing Machinery. pp. 83–97. doi:10.1145/800116.803756. ISBN 978-1-4503-7419-4. S2CID 13309619.
Cook, Stephen A.; Reckhow, Robert A. (1979). "The Relative Efficiency of Propositional Proof Systems". The Journal of Symbolic Logic. 44 (1): 36–50. doi:10.2307/2273702. ISSN 0022-4812. JSTOR 2273702. S2CID 2187041.

stackexchange.com (Global: 4,114^th place; English: 3,027^th place)

cstheory.stackexchange.com

""Steve's class": origin of SC". Theoretical Computer Science – Stack Exchange.
"Who introduced the complexity class AC?". Theoretical Computer Science – Stack Exchange.

toronto.edu (Global: low place; English: low place)

cs.toronto.edu

Stephen Cook (1971), The Complexity of Theorem Proving Procedures (PDF) – via University of Toronto
Stephen A. Cook (2009) [1971]. "The Complexity of Theorem-Proving Procedures". Retrieved February 12, 2023.
"Stephen A. Cook – Home Page".

utoronto.ca (Global: 1,483^rd place; English: 930^th place)

"Order of Canada: top honours go to U of T stem cell pioneer Janet Rossant, public policy leader Bob Rae". University of Toronto. July 2, 2015. Retrieved March 2, 2025.

web.archive.org (Global: 1^st place; English: 1^st place)

P vs. NP Archived October 14, 2013, at the Wayback Machine problem on Millennium Prize Problems page – Clay Mathematics Institute
P vs. NP Archived September 27, 2007, at the Wayback Machine problem's official description by Stephen Cook on Millennium Prize Problems

worldcat.org (Global: 4^th place; English: 4^th place)

search.worldcat.org

Cook, Stephen A.; Reckhow, Robert A. (1979). "The Relative Efficiency of Propositional Proof Systems". The Journal of Symbolic Logic. 44 (1): 36–50. doi:10.2307/2273702. ISSN 0022-4812. JSTOR 2273702. S2CID 2187041.

Stephen Cook (English Wikipedia)

4mhz.de (Global: low place; English: low place)

acm.org (Global: 1,200th place; English: 821st place)

amturing.acm.org

awards.acm.org

aslonline.org (Global: low place; English: low place)

avcr.cz (Global: low place; English: low place)

berkeley.edu (Global: 621st place; English: 429th place)

www2.eecs.berkeley.edu

cbc.ca (Global: 110th place; English: 65th place)

claymath.org (Global: low place; English: low place)

cup.es (Global: low place; English: low place)

doi.org (Global: 2nd place; English: 2nd place)

informit.com (Global: low place; English: low place)

jstor.org (Global: 23rd place; English: 15th place)

mathgenealogy.org (Global: 1,849th place; English: 1,732nd place)

nserc-crsng.gc.ca (Global: low place; English: low place)

ontario.ca (Global: 5,470th place; English: 2,867th place)

news.ontario.ca

saltwire.com (Global: 7,972nd place; English: 3,999th place)

semanticscholar.org (Global: 15th place; English: 8th place)

api.semanticscholar.org

stackexchange.com (Global: 4,114th place; English: 3,027th place)

cstheory.stackexchange.com

toronto.edu (Global: low place; English: low place)

cs.toronto.edu

utoronto.ca (Global: 1,483rd place; English: 930th place)

web.archive.org (Global: 1st place; English: 1st place)

worldcat.org (Global: 4th place; English: 4th place)

search.worldcat.org

acm.org (Global: 1,200^th place; English: 821^st place)

berkeley.edu (Global: 621^st place; English: 429^th place)

cbc.ca (Global: 110^th place; English: 65^th place)

doi.org (Global: 2^nd place; English: 2^nd place)

jstor.org (Global: 23^rd place; English: 15^th place)

mathgenealogy.org (Global: 1,849^th place; English: 1,732^nd place)

ontario.ca (Global: 5,470^th place; English: 2,867^th place)

saltwire.com (Global: 7,972^nd place; English: 3,999^th place)

semanticscholar.org (Global: 15^th place; English: 8^th place)

stackexchange.com (Global: 4,114^th place; English: 3,027^th place)

utoronto.ca (Global: 1,483^rd place; English: 930^th place)

web.archive.org (Global: 1^st place; English: 1^st place)

worldcat.org (Global: 4^th place; English: 4^th place)