The alldifferent Constraint: A Survey
W.J. van Hoeve
TL;DR
This survey provides a comprehensive overview and comparison of various solving strategies for the alldifferent constraint in constraint programming, highlighting their practical applications and theoretical differences.
Contribution
It offers the first extensive survey and abstract comparison of all known strategies for solving the alldifferent constraint.
Findings
Multiple solving strategies exist with distinct advantages.
Some strategies outperform others depending on problem context.
The survey identifies gaps and future research directions.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsConstraint Satisfaction and Optimization · Game Theory and Voting Systems · Scheduling and Timetabling Solutions