An Incremental Simplex Algorithm with Unsatisfiable Core Generation.
Filip MaricMirko SpasicRené ThiemannPublished in: Arch. Formal Proofs (2018)
Keyphrases
- simplex algorithm
- nelder mead
- linear programming
- primal dual
- linear programming problems
- network simplex algorithm
- linear program
- unsatisfiable cores
- simplex method
- randomly generated
- feasible solution
- phase transition
- interior point methods
- image processing
- sat solvers
- convergence rate
- genetic programming
- bayesian networks