Towards NP – P via proof complexity and search

Annals of Pure and Applied Logic 163 (7):906-917 (2012)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2011.09.009
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 43,914
Through your library

References found in this work BETA

The Complexity of Propositional Proofs.Nathan Segerlind - 2007 - Bulletin of Symbolic Logic 13 (4):417-481.

View all 26 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Pool Resolution is NP-Hard to Recognize.Samuel R. Buss - 2009 - Archive for Mathematical Logic 48 (8):793-798.
Intuitionistic Logic Freed of All Metarules.Giovanna Corsi & Gabriele Tassi - 2007 - Journal of Symbolic Logic 72 (4):1204 - 1218.
Proof Complexity and Textual Cohesion.Eli Dresner - 2015 - Journal of Logic, Language and Information 24 (1):53-64.
Time Complexity of a Proof–Search Procedure for K4.Toshimasa Matsumoto - 2003 - Bulletin of the Section of Logic 32 (4):201-211.
The Complexity of Propositional Proofs.Nathan Segerlind - 2007 - Bulletin of Symbolic Logic 13 (4):417-481.
The Complexity of Propositional Proofs.Alasdair Urquhart - 1995 - Bulletin of Symbolic Logic 1 (4):425-467.
The Cost of a Cycle is a Square.A. Carbone - 2002 - Journal of Symbolic Logic 67 (1):35-60.
Bounded Arithmetic, Proof Complexity and Two Papers of Parikh.Samuel R. Buss - 1999 - Annals of Pure and Applied Logic 96 (1-3):43-55.
A Shell for Generic Interactive Proof Search.Aleksey Novodvorsky & Aleksey Smirnov - 1998 - Journal of Applied Non-Classical Logics 8 (1-2):123-140.
Interactive and Probabilistic Proof-Checking.Luca Trevisan - 2000 - Annals of Pure and Applied Logic 104 (1-3):325-342.
Representation Operators and Computation.Brendan Kitts - 1999 - Minds and Machines 9 (2):223-240.

Analytics

Added to PP index
2013-10-27

Total views
28 ( #308,010 of 2,266,272 )

Recent downloads (6 months)
10 ( #97,162 of 2,266,272 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature