10 search results - page 1 / 2 » Canonical Disjoint NP-Pairs of Propositional Proof Systems |
MFCS
2005
Springer
13 years 10 months ago
2005
Springer
We prove that every disjoint NP-pair is polynomial-time, many-one equivalent to the canonical disjoint NP-pair of some propositional proof system. Therefore, the degree structure ...
COCOON
2007
Springer
13 years 11 months ago
2007
Springer
We investigate the connection between propositional proof systems and their canonical pairs. It is known that simulations between proof systems translate to reductions between the...
BIRTHDAY
2006
Springer
13 years 8 months ago
2006
Springer
ECCC
2006
13 years 4 months ago
2006
In this paper we ask the question whether the extended Frege proof system EF satisfies a weak version of the deduction theorem. We prove that if this is the case, then complete dis...
ENTCS
2006
13 years 4 months ago
2006
The problem of obtaining small conflict clauses in SMT systems has received a great deal of attention recently. We report work in progress to find small subsets of the current par...