Verifying Integer Programming Results.
Kevin K. H. CheungAmbros M. GleixnerDaniel E. SteffyPublished in: IPCO (2017)
Keyphrases
- integer programming
- ai planning
- np hard
- set covering problem
- constraint programming
- cutting plane
- lagrangian relaxation
- linear programming
- network flow
- column generation
- inference problems
- crew scheduling
- set covering
- production planning
- valid inequalities
- facility location
- cutting plane algorithm
- set partitioning
- model checking
- dantzig wolfe decomposition
- linear programming relaxation
- integer program
- learning algorithm
- layout design
- integer programming formulations