Searching for authors named Stephen Cook – sorted by Relevance.
53 documents found, showing 1 through 10.
Next 10 →
-
Speech Recognition HOWTO
- …Speech Recognition HOWTO Stephen Cook scook@(email omitted); Revision History Revision v0.5 September…
- Add To MetaCart
-
The Importance of the P versus NP Question
- …The Importance of the P versus NP Question 1 Stephen Cook University of Toronto The P versus NP…
- Cited by 3 (0 self) – Add To MetaCart
-
The P versus NP problem
- …THE P VERSUS NP PROBLEM STEPHEN COOK 1. Statement of the Problem The P versus NP problem…
- Cited by 7 (0 self) – Add To MetaCart
-
Theories for Complexity Classes and their Propositional Translations
- …Theories for Complexity Classes and their Propositional Translations Stephen Cook April 17, 2004…
- Cited by 19 (5 self) – Add To MetaCart
-
An overview of computational complexity
- …An Overview of Computational Complexity STEPHEN A. COOK University of Toronto The 1982 Taring…
- Cited by 14 (0 self) – Add To MetaCart
-
A New Recursion-Theoretic Characterization Of The Polytime Functions
- … and Stephen Cook Abstract. We give a recursion-theoretic characterization of FP which describes polynomial…
- Cited by 143 (7 self) – Add To MetaCart
-
A New Characterization of Mehlhorn's Polynomial Time Functionals (Extended Abstract)
- …@(email omitted); Stephen A. Cook Department of Computer Science University of Toronto Toronto, Ontario, Canada, M5S 1A4…
- Cited by 7 (1 self) – Add To MetaCart
-
The relative efficiency of propositional proof systems
- …The Relative Efficiency of Propositional Proof Systems Stephen A. Cook; Robert A. Reckhow…
- Cited by 250 (4 self) – Add To MetaCart
-
A Complete Axiomatization for Blocks World
- …A Complete Axiomatization for Blocks World Stephen A. Cook and Yongmei Liu Department of Computer…
- Add To MetaCart
-
unknown title
- … A second-order system for polytime reasoning based on Gr"adel's theorem Stephen Cook…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
