Francisco Azevedo Cardinal: A Finite Sets Constraint Solver. 93-129 2007 12 Constraints 1 http://dx.doi.org/10.1007/s10601-006-9012-6 db/journals/constraints/constraints12.html#Azevedo07