The alldifferent Constraint: A Survey

Abstract

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.

12 pages, 3 figures, paper accepted at the 6th Annual workshop of the ERCIM Working Group on Constraints

References in corpus (1)

• Dynamic Global Constraints: A First View

Cited by in corpus (6)

• The tractability of CSP classes defined by forbidden patterns
• Quantum-accelerated constraint programming
• Machine learning for constraint solver design -- A case study for the alldifferent constraint
• On Population-Based Algorithms for Distributed Constraint Optimization Problems
• Finding First and Most-Beautiful Queens by Integer Programming
• Solving finite-domain linear constraints in presence of the $\text{alldifferent}$