Connecting Complexity Classes, Weak Formal Theories, and Propositional Proof Systems (Invited Talk).

Stephen A. Cook

Browse the full CSL paper archive.