Solving Systems of Linear Inequalities by Bound Propagation

In this talk we introduce a new method for solving systems of linear inequalities and linear optimisation. The algorithm incorporates many state-of-the-art techniques from DPLL-style reasoning. We prove soundness, completeness and termination of the method.

Posted in RiSE Seminar