Cutting plane and Frege proofs

Published in: Inf. Comput. (1995)

Keyphrases

cutting plane
integer programming
cutting plane algorithm
column generation
lower bound
mixed integer
mixed integer linear programming
knapsack problem
integer program
exact penalty
valid inequalities
special case
upper bound
particle swarm optimization
heuristic search