HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Combining logic and optimization in cutting plane theory

Alexander Bockmayr 1 Friedrich Eisenbrand
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Cutting planes were introduced in 1958 by Gomory in order to solve integer linear optimization problems. Since then, they have received a lot of interest, not only in mathematical optimization, but also in logic and complexity theory. In this paper, we present some recent results on cutting planes at the interface of logic and optimization. Main emphasis is on the length and the rank of cutting plane proofs based on the Gomory-Chvátal rounding principle.
Document type :
Conference papers
Complete list of metadata

Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Tuesday, September 26, 2006 - 8:51:30 AM
Last modification on : Friday, February 4, 2022 - 3:33:41 AM


  • HAL Id : inria-00099172, version 1



Alexander Bockmayr, Friedrich Eisenbrand. Combining logic and optimization in cutting plane theory. International Workshop on Frontiers of Combining Systems - FroCoS'2000, 2000, Nancy, France, pp.1-17. ⟨inria-00099172⟩



Record views