2005 | OriginalPaper | Chapter
Beyond Finite Domains: The All Different and Global Cardinality Constraints
Authors : Claude-Guy Quimper, Toby Walsh
Published in: Principles and Practice of Constraint Programming - CP 2005
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
We describe how the propagator for the
All-Different
constraint can be generalized to prune variables whose domains are not just simple finite integer domains. We show, for example, how it can be used to propagate set, multiset and tuple variables.