Applications of an Extended Set Constraint Solver

Authors

Francisco Azevedo, Pedro Barahona,