Using Integer Programming to Verify General Safety and Liveness Properties.
James C. CorbettGeorge S. AvruninPublished in: Formal Methods Syst. Des. (1995)
Keyphrases
- integer programming
- np hard
- linear programming
- facility location
- column generation
- constraint programming
- production planning
- cutting plane
- special case
- valid inequalities
- integer program
- cutting plane algorithm
- ai planning
- vehicle routing problem with time windows
- lagrangian relaxation
- network flow
- linear programming relaxation
- dantzig wolfe decomposition
- integer programming formulations
- learning algorithm
- set covering problem
- lower bound
- optimal solution