Interprocedural Reachability for Flat Integer Programs.
Pierre GantyRadu IosifPublished in: FCT (2015)
Keyphrases
- integer program
- column generation
- linear program
- integer programming
- cutting plane
- multistage stochastic
- network flow
- transitive closure
- valid inequalities
- set covering
- linear programming
- state space
- optimization criterion
- branch and bound
- multistage
- np hard
- special case
- lower bound
- lp relaxation
- ordering constraints
- search algorithm