Efficient Formal Verification of Bounds of Linear Programs.
Alexey SolovyevThomas C. HalesPublished in: Calculemus/MKM (2011)
Keyphrases
- linear program
- formal verification
- linear programming
- model checking
- lower bound
- semi infinite
- dynamic programming
- model checker
- simplex method
- stochastic programming
- extreme points
- np hard
- column generation
- primal dual
- mixed integer
- stage stochastic programs
- linear programming problems
- multi objective
- convex optimization
- simulated annealing
- simplex algorithm
- linear inequalities
- optimal solution
- bounded model checking
- automated verification
- mixed integer linear program
- objective function