Propagating Conjunctions of A LL D IFFERENT Constraints