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]
@inproceedings{Li09-25,
title = {Research Summary: Extending Elimination Algorithms for Functional Constraints to Solve Two Integer Variables per Inequality},
author = {Chendong Li},
year = {2009},
doi = {10.1007/978-3-642-02846-5_49},
url = {http://dx.doi.org/10.1007/978-3-642-02846-5_49},
tags = {constraints},
researchr = {https://researchr.org/publication/Li09-25},
cites = {0},
citedby = {0},
pages = {530-531},
booktitle = {Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings},
editor = {Patricia M. Hill and David Scott Warren},
volume = {5649},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-02845-8},
}