12 search results - page 3 / 3 » Exponential Lower Bounds for the Pigeonhole Principle |
168
click to vote
SIAMCOMP
2002
15 years 6 months ago
2002
We consider several problems related to the use of resolution-based methods for determining whether a given boolean formula in conjunctive normal form is satisfiable. First, build...
144
click to vote
CSL
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. By introducing a parallel extension rule that is aware of independence of the introduced extension variables, a calculus for quantified propositional logic is obtained w...