Verifying Integer Programming Results.
Kevin K. H. CheungAmbros M. GleixnerDaniel E. SteffyPublished in: CoRR (2016)
Keyphrases
- integer programming
- np hard
- cutting plane
- linear programming
- column generation
- production planning
- lagrangian relaxation
- model checking
- constraint programming
- ai planning
- set covering problem
- network flow
- cutting plane algorithm
- set covering
- integer program
- transportation problem
- facility location
- crew scheduling
- valid inequalities
- linear programming relaxation
- network design problem
- vehicle routing problem with time windows
- special case
- linear program
- support vector machine
- integer programming formulations