Combining logic and optimization in cutting plane theory - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2000

Combining logic and optimization in cutting plane theory

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.
No file

Dates and versions

inria-00099172 , version 1 (26-09-2006)

Identifiers

  • HAL Id : inria-00099172 , version 1

Cite

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⟩
145 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More