Identical Tasks and Counter Variables in an Integer Programming-Based Approach to Verification.
James C. CorbettPublished in: IWSSD (1993)
Keyphrases
- integer programming
- np hard
- linear programming
- constraint programming
- cutting plane algorithm
- column generation
- inference problems
- network flow
- lagrangian relaxation
- production planning
- integer program
- cutting plane
- ai planning
- valid inequalities
- set covering problem
- model checking
- random variables
- crew scheduling
- facility location
- vehicle routing problem with time windows
- set covering
- learning algorithm
- dantzig wolfe decomposition
- transportation problem
- lower bound
- bayesian networks