Inferring Lower Runtime Bounds for Integer Programs.

Florian Frohn Matthias Naaf Marc Brockschmidt Jürgen Giesl

Published in: ACM Trans. Program. Lang. Syst. (2020)

Keyphrases

integer program
multistage stochastic
column generation
integer programming
linear program
cutting plane
lower bound
upper bound
upper and lower bounds
linear programming
network flow
error bounds
multistage
mixed integer programming
lp relaxation
ordering constraints
lower and upper bounds
set covering