Solving Systems of Linear Inequalities by Bound Propagation
Solving Systems of Linear Inequalities by Bound Propagation
复制标题
通过有界传播求解线性不等式组
DOI：
10.1007/978-3-642-22438-6_28
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
A. Voronkov
中科院分区：
文献类型：
--
作者：
Konstantin Korovin;A. Voronkov
本文介绍一种求解线性不等式组的新方法。该算法结合了许多国家的最先进的技术，从DPLL风格的推理。我们证明了该方法的可靠性、完备性和终止性。
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.