Abstraction Refinement of Linear Programs with Arrays.
Alessandro ArmandoMassimo BenerecettiJacopo MantovaniPublished in: TACAS (2007)
Keyphrases
- linear program
- linear programming
- semi infinite
- high level
- stochastic programming
- column generation
- mixed integer
- dynamic programming
- interior point methods
- simplex method
- np hard
- multistage stochastic
- integer program
- objective function
- linear programming problems
- primal dual
- extreme points
- convex functions
- optimal solution
- simplex algorithm
- linear inequalities
- genetic algorithm
- state space
- market equilibrium
- nelder mead