Willem Jan van Hoeve The alldifferent Constraint: A Survey http://arxiv.org/abs/cs.PL/0105015 2001 CoRR cs.PL/0105015 db/journals/corr/corr0105.html#cs-PL-0105015