Keyphrases
- linear program
- theorem prover
- linear programming
- natural deduction
- np hard
- simplex method
- semi infinite
- stochastic programming
- optimal solution
- stage stochastic programs
- column generation
- primal dual
- extreme points
- mixed integer
- upper bound
- lower bound
- dynamic programming
- linear programming problems
- objective function
- integer program
- interior point methods
- integer programming
- quadratic program
- inventory routing
- mixed integer linear program
- linear inequalities
- lower and upper bounds
- feasible solution
- simplex algorithm
- interior point
- worst case
- branch and bound
- convex functions
- nelder mead
- computational complexity