Solving Systems of Linear Inequalities by Bound Propagation
In this paper we introduce a new method for solving systems of linear inequalities. The algorithm incorporates many state-of-the-art techniques from DPLL-style reasoning. We prove soundness, completeness and termination of the method.
Unable to display preview. Download preview PDF.
- 3.Korovin, K., Voronkov, A.: Solving systems of linear inequalities by bound propagation, full version (2011), http://www.cs.man.ac.uk/~korovink/my_pub/