The alldifferent Constraint: A Survey
journal contributionposted on 01.11.2009 by Willem-Jan Van Hoeve
Any type of content formally published in an academic journal, usually following a peer-review process.
The constraint of difference is known to the constraint programming community since Lauriere introduced Alice  in 1978. Since then, several solving strategies have been designed for this constraint. In this paper we give both a practical overview and an abstract comparison of these different strategies.