Input Proofs and Rank One Cutting Planes
From MaRDI portal
Publication:4018154
DOI10.1287/IJOC.1.3.137zbMATH Open0752.90051OpenAlexW2017351350MaRDI QIDQ4018154FDOQ4018154
Authors: John N. Hooker 
Publication date: 16 January 1993
Published in: ORSA Journal on Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1287/ijoc.1.3.137
Recommendations
- On the rank of cutting-plane proof systems
- Cutting-plane proofs in polynomial space
- On the complexity of cutting-plane proofs
- On the complexity of cutting-plane proofs using split cuts
- Structure of proofs and the complexity of cut elimination
- scientific article; zbMATH DE number 1263234
- Lower bounds for cutting planes proofs with small coefficients
- Rank bounds and integrality gaps for cutting planes procedures
- On the relative complexity of resolution refinements and cutting planes proof systems
- scientific article; zbMATH DE number 515726
resolutioncutting plane algorithmcomplete inference methodsHorn clauses in propositional logicnon-Horn inference problems
Cited In (15)
- Resolution Width and Cutting Plane Rank Are Incomparable
- MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
- Learning from conflicts in propositional satisfiability
- What we can learn from conflicts in propositional satisfiability
- Generalized resolution for 0--1 linear inequalities
- Restricted cutting plane proofs in Horn constraint systems
- New methods for computing inferences in first order logic
- Resolution vs. cutting plane solution of inference problems: Some computational experience
- Branch-and-cut solution of inference problems in propositional logic
- Logic applied to integer programming and integer programming applied to logic
- Mixed logical-linear programming
- Analyzing read-once cutting plane proofs in Horn systems
- Achieving consistency with cutting planes
- Algorithms for the maximum satisfiability problem
- On the lengths of tree-like and dag-like cutting plane refutations of Horn constraint systems. Horn constraint systems and cutting plane refutations
This page was built for publication: Input Proofs and Rank One Cutting Planes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4018154)
