Combining Logic and Optimization in Cutting Plane Theory.

Alexander Bockmayr Friedrich Eisenbrand

Published in: FroCoS (2000)

Keyphrases

cutting plane
cutting plane algorithm
optimization problems
integer programming
column generation
knapsack problem
mixed integer
mixed integer linear programming
quadratic programming
bayesian networks
optimal solution
search algorithm
lower bound
optimization model
integer program