Checking System Properties via Integer Programming.
Stephan MelzerJavier EsparzaPublished in: ESOP (1996)
Keyphrases
- integer programming
- np hard
- column generation
- lagrangian relaxation
- linear programming
- production planning
- valid inequalities
- inference problems
- constraint programming
- ai planning
- network flow
- facility location
- set covering problem
- crew scheduling
- cutting plane
- cutting plane algorithm
- network design problem
- set covering
- state space
- web services