Symbolic decision procedure for termination of linear programs.
Bican XiaLu YangNaijun ZhanZhihai ZhangPublished in: Formal Aspects Comput. (2011)
Keyphrases
- linear program
- linear programming
- mixed integer program
- semi infinite
- simplex method
- optimal solution
- stochastic programming
- primal dual
- interior point methods
- np hard
- extreme points
- multistage stochastic
- dynamic programming
- linear programming problems
- mixed integer linear program
- nelder mead
- column generation
- interior point
- objective function
- decision makers
- quadratic program
- integer program
- linear inequalities
- mixed integer
- inventory routing
- lower bound
- computational complexity
- genetic algorithm