Verification of Safety Properties Using Integer Programming: Beyond the State Equation.
Javier EsparzaStephan MelzerPublished in: Formal Methods Syst. Des. (2000)
Keyphrases
- integer programming
- np hard
- constraint programming
- linear programming
- network flow
- lagrangian relaxation
- production planning
- valid inequalities
- model checking
- set covering problem
- ai planning
- cutting plane
- column generation
- inference problems
- linear programming relaxation
- vehicle routing problem with time windows
- facility location
- integer programming formulations
- set covering
- transportation problem
- state space
- lower bound
- np complete
- mathematical model