Using Indexed Finite Set Variables for Set Bounds Propagation

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]

Authors

Ruben Duarte Viegas

This author has not been identified. Look up 'Ruben Duarte Viegas' in Google

Marco Correia

This author has not been identified. Look up 'Marco Correia' in Google

Pedro Barahona

This author has not been identified. Look up 'Pedro Barahona' in Google

Francisco Azevedo

This author has not been identified. Look up 'Francisco Azevedo' in Google