The alldifferent Constraint: A Survey

2009-11-01T00:00:00Z (GMT) by Willem-Jan Van Hoeve
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.