Underapproximation of procedure summaries for integer programs.

Pierre Ganty Radu Iosif Filip Konecný

Published in: Int. J. Softw. Tools Technol. Transf. (2017)

Keyphrases

integer program
integer programming
column generation
multistage stochastic
linear program
cutting plane
linear programming
network flow
valid inequalities
multi objective
worst case
optimization problems
constraint satisfaction problems
multistage
ordering constraints