Computing Semi-Stable Semantics of AF by 0-1 Integer Programming.
Mauricio OsorioJuan DíazAlejandro SantoyoPublished in: LANMR (2014)
Keyphrases
- integer programming formulations
- integer programming
- cutting plane
- linear programming
- production planning
- np hard
- column generation
- constraint programming
- network flow
- lagrangian relaxation
- facility location
- set covering problem
- integer program
- ai planning
- valid inequalities
- inference problems
- cutting plane algorithm
- set covering
- vehicle routing problem with time windows
- transportation problem
- linear programming relaxation