Constructing Cycles in the Simplex Method for DPLL(T).
Bertram FelgenhauerAart MiddeldorpPublished in: ICTAC (2017)
Keyphrases
- simplex method
- linear programming
- linear program
- linear fractional
- column generation
- simplex algorithm
- convergence rate
- linear programming problems
- primal dual
- sat solvers
- interior point algorithm
- orders of magnitude
- np complete
- propositional logic
- optimal solution
- learning algorithm
- policy iteration
- belief propagation
- first order logic