Using Indexed Finite Set Variables for Set Bounds Propagation

Authors

Ruben Viegas, H. Geffner, Marco Correia, R. Prada, Pedro Barahona, I. Machado Alexandre, Francisco Azevedo, N. David,