Yossi Richter Ari Freund Yehuda Naveh Generalizing AllDifferent: The SomeDifferent Constraint. 468-483 2006 conf/cp/2006 CP http://dx.doi.org/10.1007/11889205_34 db/conf/cp/cp2006.html#RichterFN06