Verifying General Safety and Liveness Propterties with Integer Programming.
James C. CorbettPublished in: CAV (1992)
Keyphrases
- integer programming
- np hard
- special case
- constraint programming
- set covering problem
- ai planning
- column generation
- linear programming
- production planning
- inference problems
- cutting plane
- valid inequalities
- lagrangian relaxation
- linear programming relaxation
- set covering
- support vector machine
- benchmark problems
- constraint satisfaction
- transportation problem