Terse Integer Linear Programs for Boolean Optimization.
Christoph BuchheimGiovanni RinaldiPublished in: J. Satisf. Boolean Model. Comput. (2009)
Keyphrases
- linear program
- boolean optimization
- extreme points
- linear programming
- boolean satisfiability
- integer linear programming
- column generation
- sat solving
- optimal solution
- simplex method
- np hard
- objective function
- branch and bound algorithm
- dynamic programming
- integer program
- primal dual
- mixed integer linear program
- feasible solution
- mixed integer
- orders of magnitude
- particle swarm optimization
- genetic algorithm