Using Integer Programming to Search for Counterexamples: A Case Study.
Giuseppe LanciaEleonora PippiaFranca RinaldiPublished in: MOTOR (2020)
Keyphrases
- integer programming
- linear programming
- search algorithm
- np hard
- production planning
- integer program
- network flow
- cutting plane algorithm
- search space
- constraint programming
- valid inequalities
- facility location
- search strategies
- column generation
- ai planning
- cutting plane
- transportation problem
- vehicle routing problem with time windows
- set covering
- dantzig wolfe decomposition
- np complete
- set partitioning
- round robin tournament