Inferring Lower Runtime Bounds for Integer Programs.

Florian Frohn Matthias Naaf Marc Brockschmidt Jürgen Giesl

Published in: CoRR (2019)

Keyphrases

integer program
column generation
linear program
multistage stochastic
integer programming
upper bound
cutting plane
lower bound
network flow
lower and upper bounds
upper and lower bounds
valid inequalities
worst case
set covering
vc dimension
ordering constraints
error bounds
special case
search space