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]
Abstract is missing.