Resolution over linear equations and multilinear proofs
- 31 October 2008
- journal article
- Published by Elsevier BV in Annals of Pure and Applied Logic
- Vol. 155 (3), 194-224
- https://doi.org/10.1016/j.apal.2008.04.001
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Several notes on the power of Gomory–Chvátal cutsAnnals of Pure and Applied Logic, 2006
- Lower Bounds for the Weak Pigeonhole Principle and Random Formulas beyond ResolutionInformation and Computation, 2002
- Linear Gaps between Degrees for the Polynomial Calculus Modulo Distinct PrimesJournal of Computer and System Sciences, 2001
- On the weak pigeonhole principleFundamenta Mathematicae, 2001
- Discretely ordered modules as a first-order extension of the cutting planes proof systemThe Journal of Symbolic Logic, 1998
- Lower bounds for resolution and cutting plane proofs and monotone computationsThe Journal of Symbolic Logic, 1997
- Lower bounds for cutting planes proofs with small coefficientsThe Journal of Symbolic Logic, 1997
- Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmeticThe Journal of Symbolic Logic, 1997
- The intractability of resolutionTheoretical Computer Science, 1985
- The relative efficiency of propositional proof systemsThe Journal of Symbolic Logic, 1979