Modeling and integer programming techniques applied to propositional calculus.
Tom M. CavalierPanos M. PardalosAllen L. SoysterPublished in: Comput. Oper. Res. (1990)
Keyphrases
- integer programming
- propositional calculus
- np hard
- set covering
- linear programming
- network flow
- set covering problem
- facility location
- column generation
- ai planning
- lagrangian relaxation
- vehicle routing problem with time windows
- dantzig wolfe decomposition
- cutting plane algorithm
- valid inequalities
- integer program
- production planning
- constraint programming