Combining logic and optimization in cutting plane theory

DOI10.1007/10720084_1MaRDI QIDQ4518860zbMATH OpenFDO

Authors Alexander Bockmayr, Friedrich Eisenbrand

Publication date 3 December 2000

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

Full work available at URL http://infoscience.epfl.ch/record/121615

zbMATH Keywords

cutting plane proofs

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Complexity of proofs (03F20) Analysis of algorithms and problem complexity (68Q25) Linear programming (90C05)

Recommendations

• A logical approach to multicut problems
• scientific article; zbMATH DE number 219017
• A cutting plane theory for mixed integer optimization
• On using cutting planes in pseudo-Boolean optimization
• scientific article; zbMATH DE number 2080307
• Cutting planes in integer and mixed integer programming
• Computational Integer Programming and Cutting Planes
• scientific article; zbMATH DE number 780782
• scientific article; zbMATH DE number 1505881
• On the Problem of Optimal Cutting

Cited in

(1)

• Optimal length resolution refutations of difference constraint systems

Describes a project that uses

Uses Software

• OPBDP

This page was built for publication: Combining logic and optimization in cutting plane theory

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