Detecting State Coding Conflicts in STGs Using Integer Programming.
Victor KhomenkoMaciej KoutnyAlexandre YakovlevPublished in: DATE (2002)
Keyphrases
- integer programming
- np hard
- facility location
- linear programming
- constraint programming
- production planning
- lagrangian relaxation
- set covering problem
- ai planning
- inference problems
- network flow
- dantzig wolfe decomposition
- cutting plane algorithm
- cutting plane
- transportation problem
- column generation
- set covering
- constraint satisfaction problems
- np complete
- set partitioning
- state space