Ruben Duarte Viegas, Marco Correia, Pedro Barahona, Francisco Azevedo. Using Indexed Finite Set Variables for Set Bounds Propagation. In Hector Geffner, Rui Prada, Isabel Machado Alexandre, Nuno David, editors, Advances in Artificial Intelligence - IBERAMIA 2008, 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings. Volume 5290 of Lecture Notes in Computer Science, pages 73-82, Springer, 2008. [doi]
@inproceedings{ViegasCBA08,
title = {Using Indexed Finite Set Variables for Set Bounds Propagation},
author = {Ruben Duarte Viegas and Marco Correia and Pedro Barahona and Francisco Azevedo},
year = {2008},
doi = {10.1007/978-3-540-88309-8_8},
url = {http://dx.doi.org/10.1007/978-3-540-88309-8_8},
researchr = {https://researchr.org/publication/ViegasCBA08},
cites = {0},
citedby = {0},
pages = {73-82},
booktitle = {Advances in Artificial Intelligence - IBERAMIA 2008, 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings},
editor = {Hector Geffner and Rui Prada and Isabel Machado Alexandre and Nuno David},
volume = {5290},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-88308-1},
}