Underapproximation of Procedure Summaries for Integer Programs.

Pierre Ganty Radu Iosif Filip Konecný

Published in: TACAS (2013)

Keyphrases

integer program
linear program
multistage stochastic
column generation
integer programming
cutting plane
linear programming
multistage
valid inequalities