Resolution Width and Cutting Plane Rank Are Incomparable

DOI10.1007/978-3-540-85238-4_47MaRDI QIDQ3599159zbMATH OpenOpenAlexFDO

Authors Mark Rhodes

Publication date 3 February 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-85238-4_47

zbMATH Keywords

propositional proof complexityrank lower boundscutting plane proofsresolution width

Mathematics Subject Classification ID

Complexity of proofs (03F20)

Recommendations

• Cutting planes and the parameter cutwidth
• On the rank of cutting-plane proof systems
• Cutting planes and the parameter cutwidth
• Rank bounds and integrality gaps for cutting planes procedures
• Input Proofs and Rank One Cutting Planes

Cites work

• scientific article; zbMATH DE number 3644821 (Why is no real title available?)
• scientific article; zbMATH DE number 1336257 (Why is no real title available?)
• scientific article; zbMATH DE number 1916823 (Why is no real title available?)
• A Hierarchy of Relaxations between the Continuous and Convex Hull Representations for Zero-One Programming Problems
• A combinatorial characterization of resolution width
• A complexity gap for tree resolution
• Cones of Matrices and Set-Functions and 0–1 Optimization
• Edmonds polytopes and a hierarchy of combinatorial problems
• On the complexity of cutting-plane proofs
• Outline of an algorithm for integer solutions to linear programs
• Rank Lower Bounds for the Sherali-Adams Operator
• Rank bounds and integrality gaps for cutting planes procedures
• Relativisation Provides Natural Separations for Resolution-Based Proof Systems
• Short proofs are narrow—resolution made simple
• Theory and Applications of Satisfiability Testing
• Tight rank lower bounds for the Sherali-Adams proof system

Cited in

(4)

• Cutting planes and the parameter cutwidth
• Rank complexity gap for Lovász-Schrijver and Sherali-Adams proof systems
• On the Chvátal rank of the pigeonhole principle
• Tight rank lower bounds for the Sherali-Adams proof system

This page was built for publication: Resolution Width and Cutting Plane Rank Are Incomparable

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3599159)