Stephen A. Cook and Robert A. Reckhow. The relative e#ciency of propositional proof systems. The Journal of Symbolic Logic, 44(1):36--50, 1979. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents
Math 267a - Propositional Proof Complexity Lecture 3: 23.. - Definition Let And (2002) Self-citation (Cook) (Correct)
No context found.
S. A. Cook and R. A. Reckhow, The relative e#ciency of propositional proof systems, Journal of Symbolic Logic, 44 (1979), pp. 36--50.
On the Axiomatisation of Boolean Categories with and without.. - Straßburger (2005) (Correct)
No context found.
Stephen A. Cook and Robert A. Reckhow. The relative e#ciency of propositional proof systems. The Journal of Symbolic Logic, 44(1):36--50, 1979.
Naming Proofs in Classical Propositional Logic - Lamarche, Straßburger (2005) (3 citations) (Correct)
No context found.
Stephen A. Cook and Robert A. Reckhow. The relative e#ciency of propositional proof systems. The Journal of Symbolic Logic, 44(1):36--50, 1979.
Naming Proofs in Classical Propositional Logic - Lamarche, Straßburger (2005) (3 citations) (Correct)
No context found.
Stephen A. Cook and Robert A. Reckhow. The relative e#ciency of propositional proof systems. The Journal of Symbolic Logic, 44(1):36--50, 1979.
Dual Weak Pigeonhole Principle, Pseudo-Surjective Functions.. - Krajícek (Correct)
No context found.
Cook, S. A. and Reckhow, A. R., The relative e#ciency of propositional proof systems, J. Symbolic Logic,44(1), (1979), pp.36-50.
Implicit Proofs - Jan Krajcek Mathematical (Correct)
No context found.
S. A. Cook and A. R. Reckhow, The relative e#ciency of propositional proof systems, J. Symbolic Logic, 44(1), (1979), pp.36-50.
On Resolution Complexity of Matching Principles - Dantchev (2002) (Correct)
No context found.
S. Cook and R. Reckhow. The relative e#ciency of propositional proof systems. Journal of Symbolic Logic, 44(1):36--50, March 1979.
Hardness Assumptions in the Foundations - Of Theoretical Computer (Correct)
No context found.
S. A. Cook, and A. R. Reckhow, The relative e#ciency of propositional proof systems, J. Symbolic Logic,44(1), (1979), pp.36-50.
Structured Pigeonhole Principle, - Search Problems And (Correct)
No context found.
S. A. Cook and A. R. Reckhow, The relative e#ciency of propositional proof systems, J. Symbolic Logic,44(1), (1979), pp.36-50.
Are there Hard Examples for Frege Systems? - Bonet, Buss, Pitassi (1 citation) (Correct)
No context found.
, The relative e#ciency of propositional proof systems, Journal of Symbolic Logic, 44 (1979), pp. 36--50.
Mechanised Reasoning and Model Generation for Extended Modal.. - Schmidt, Hustadt (2003) (Correct)
No context found.
S. A. Cook and R. A. Reckhow. The relative e#ciency of propositional proof systems. Journal of Symbolic Logic, 44(1):36--50, 1979.
The Deduction Rule and Linear and Near-linear Proof Simulations - Bonet, Buss (1993) (Correct)
No context found.
S. A. Cook and R. A. Reckhow, The relative e#ciency of propositional proof systems, Journal of Symbolic Logic, 44 (1979), pp. 36--50.
Cutting Planes, Connectivity, and Threshold Logic - Samuel Buss Peter (1996) (5 citations) (Correct)
No context found.
S. A. Cook and R. Reckhow. On the relative e#ciency of propositional proof systems. Journal of Symbolic Logic, 44:36 -- 50, 1977.
Resolution Proofs of - Generalized Pigeonhole Principles (Correct)
No context found.
S. A. Cook and R. A. Reckhow, The relative e#ciency of propositional proof systems, Journal of Symbolic Logic, 44 (1979), pp. 36--50.
On the Deduction Rule and - The Number Of (Correct)
No context found.
S. A. Cook and R. A. Reckhow, The relative e#ciency of propositional proof systems, Journal of Symbolic Logic, 44 (1979), pp. 36--50.
Scribe Notes - Math Ucsd Winter (2002) (Correct)
No context found.
S. A. Cook and R. A. Reckhow, The relative e#ciency of propositional proof systems, Journal of Symbolic Logic, 44 (1979), pp. 36--50.
Resolution and the Weak Pigeonhole Principle - Buss, Pitassi (1996) (25 citations) (Correct)
No context found.
S. A. Cook and R. A. Reckhow, The relative e#ciency of propositional proof systems, Journal of Symbolic Logic, 44 (1979), pp. 36--50.
On the Relative Complexity of Labelled Modal Tableaux - Governatori (2003) (Correct)
No context found.
Cook, S. A. and R. A. Reckhow, The relative e#ciency of propositional proof systems, Journal of Symbolic Logic 44 (1979), pp. 36--50.
Bounded Arithmetic and Propositional Proof Complexity - Buss (1995) (1 citation) (Correct)
No context found.
, The relative e#ciency of propositional proof systems, Journal of Symbolic Logic, 44 (1979), pp. 36--50.
The Computational Complexity - Column By Dept (Correct)
No context found.
S.A. Cook and R.A. Reckhow. The relative e ciency of propositional proof systems. Journal of Symbolic Logic 44, 3650, 1979.
Polynomial-size Frege and Resolution Proofs of st-Connectivity and .. - Buss (2003) (2 citations) (Correct)
No context found.
S. A. Cook and R. A. Reckhow, The relative e#ciency of propositional proof systems, Journal of Symbolic Logic, 44 (1979), pp. 36--50.
Some Remarks on Lengths of Propositional Proofs - Buss (2002) (3 citations) (Correct)
No context found.
S. A. Cook and R. A. Reckhow, The relative e#ciency of propositional proof systems, Journal of Symbolic Logic, 44 (1979), pp. 36--50.
Minimum Propositional Proof Length Is Np-Hard To.. - Alekhnovich, Buss.. (1998) (11 citations) (Correct)
No context found.
S. A. Cook and R. A. Reckhow, The relative e#ciency of propositional proof systems, this Journal, vol. 44 (1979), pp. 36--50.
Space Complexity In Propositional Calculus - Michael Alekhnovich Eli (1999) (9 citations) (Correct)
No context found.
S.A. Cook and R. Reckhow, The relative e#ciency of propositional proof systems, J. Symbolic Logic, 44 (1979), pp. 36--50.
A Switching Lemma for Small Restrictions and Lower.. - Segerlind, Buss.. (2002) (5 citations) (Correct)
No context found.
S. Cook and R. Reckhow. The relative e#ciency of propositional proof systems. The Journal of Symbolic Logic, 44(1):36 -- 50, March 1979.
First 50 documents
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC