Simulating Cutting Plane Proofs with Restricted Degree of Falsity by Resolution.

Edward A. Hirsch Sergey I. Nikolenko

Published in: SAT (2005)

Keyphrases

cutting plane
cutting plane algorithm
integer programming
lower bound
column generation
mixed integer linear programming
mixed integer
knapsack problem
valid inequalities
exact penalty
integer program
linear programming
branch and bound
structural svms
evolutionary algorithm
linear program