Discretely Ordered Modules as a First-Order Extension of The Cutting Planes Proof System.

Published in: J. Symb. Log. (1998)

Keyphrases

cutting plane
cutting plane algorithm
integer programming problems
integer programming
lower bound
mixed integer
column generation
integer program
first order logic
knapsack problem
valid inequalities
linear time temporal logic
dantzig wolfe decomposition
genetic algorithm
complex systems
np hard
optimal solution