The alldifferent Constraint: A Survey

The constraint of difference is known to the constraint programming community since Lauriere introduced Alice [11] 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.