A Safe Computational Framework for Integer Programming Applied to Chvátal's Conjecture.
Leon EiflerAmbros M. GleixnerJonad PulajPublished in: ACM Trans. Math. Softw. (2022)
Keyphrases
- integer programming
- computational framework
- valid inequalities
- linear programming
- computational model
- np hard
- ai planning
- network flow
- cutting plane algorithm
- set covering
- production planning
- column generation
- constraint programming
- lagrangian relaxation
- tensor voting
- cutting plane
- facility location
- crew scheduling
- dantzig wolfe decomposition