## Chendong Li

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

ICLP, 2009.

@inproceedings{ICLP-2009-Li, author = "Chendong Li", booktitle = "{Proceedings of the 25th International Conference on Logic Programming}", doi = "10.1007/978-3-642-02846-5_49", isbn = "978-3-642-02845-8", pages = "530--531", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Research Summary: Extending Elimination Algorithms for Functional Constraints to Solve Two Integer Variables per Inequality}", volume = 5649, year = 2009, }