S
Stephen A. Cook
Researcher at University of Toronto
Publications - 151
Citations - 17726
Stephen A. Cook is an academic researcher from University of Toronto. The author has contributed to research in topics: Complexity class & Proof complexity. The author has an hindex of 51, co-authored 144 publications receiving 16860 citations.
Papers
More filters
Proceedings ArticleDOI
The complexity of theorem-proving procedures
TL;DR: It is shown that any recognition problem solved by a polynomial time-bounded nondeterministic Turing machine can be “reduced” to the problem of determining whether a given propositional formula is a tautology.
Journal ArticleDOI
The relative efficiency of propositional proof systems
TL;DR: All standard Hilbert type systems and natural deduction systems are equivalent, up to application of a polynomial, as far as minimum proof length goes, and extended Frege systems are introduced, which allow introduction of abbreviations for formulas.
Journal ArticleDOI
A taxonomy of problems with fast parallel algorithms
TL;DR: An attempt is made to identify important subclasses of NC and give interesting examples in each subclass, and a new problem complete for deterministic polynomial time is given, namely, finding the lexicographically first maximal clique in a graph.
Journal ArticleDOI
Soundness and completeness of an axiom system for program verification
TL;DR: The main new results are the completeness theorem, and a careful treatment of the procedure call rules for procedures with global variables in their declarations.