Computing stable semantics of AF by 0-1 integer programming.
Mauricio OsorioJuan DíazAlejandro SantoyoPublished in: CONIELECOMP (2015)
Keyphrases
- integer programming
- np hard
- linear programming
- constraint programming
- column generation
- network flow
- lagrangian relaxation
- integer program
- layout design
- valid inequalities
- production planning
- crew scheduling
- facility location
- transportation problem
- cutting plane algorithm
- set covering problem
- set covering
- inference problems
- ai planning
- vehicle routing problem with time windows
- cutting plane
- integer programming formulations
- set partitioning
- dantzig wolfe decomposition