Underapproximation of Procedure Summaries for Integer Programs

Pierre Ganty Radu Iosif Filip Konecný

Published in: CoRR (2012)

Keyphrases

integer program
column generation
multistage stochastic
integer programming
linear program
cutting plane
valid inequalities
search space
network flow
search engine
information extraction
random walk
multistage
summary generation