Extending a Verified Simplex Algorithm.
René ThiemannPublished in: LPAR (Workshop and Short Papers) (2018)
Keyphrases
- simplex algorithm
- nelder mead
- linear programming
- primal dual
- network simplex algorithm
- linear programming problems
- linear program
- randomly generated
- feasible solution
- genetic algorithm
- cost function
- multi objective
- interior point methods
- simplex method
- special case
- evolutionary algorithm
- computational complexity
- objective function