Research Summary: Extending Elimination Algorithms for Functional Constraints to Solve Two Integer Variables per Inequality

Chendong Li. Research Summary: Extending Elimination Algorithms for Functional Constraints to Solve Two Integer Variables per Inequality. In Patricia M. Hill, David Scott Warren, editors, Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings. Volume 5649 of Lecture Notes in Computer Science, pages 530-531, Springer, 2009. [doi]

Abstract

Abstract is missing.