Certifying MIP-Based Presolve Reductions for 0-1 Integer Linear Programs.
Alexander HoenAndy OertelAmbros M. GleixnerJakob NordströmPublished in: CPAIOR (1) (2024)
Keyphrases
- linear program
- column generation
- mixed integer programming
- linear programming
- extreme points
- mixed integer
- feasible solution
- integer solution
- optimal solution
- semi infinite
- simplex method
- mathematical programming
- objective function
- linear programming problems
- stochastic programming
- dynamic programming
- np hard
- mixed integer linear program
- linear inequalities
- primal dual
- integer program
- interior point
- interior point methods
- market equilibrium
- simplex algorithm
- quadratic program
- decision variables
- resource allocation
- lower bound