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 <>
Submitted on : Tuesday, September 26, 2006 - 8:51:30 AM
Last modification on : Friday, February 26, 2021 - 3:28:06 PM


  • 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