Mathematician:Stephen Arthur Cook

From ProofWiki
Jump to navigation Jump to search

American mathematician and computer scientist who has made considerable progress in the field of complexity theory.




Theorems and Definitions

Results named for Stephen Arthur Cook can be found here.

Books and Papers

  • 1971: The Complexity of Theorem Proving Procedures (in which P versus NP was first formulated)
  • 1975: Feasibly Constructive Proofs and the Propositional Calculus
  • 1979: The Relative Efficiency of Propositional Proof Systems (with Robert A. Reckhow)