| ID:
356761.0,
MPI für Informatik / Algorithms and Complexity Group |
| Filtering Algorithms for the Same and UsedBy Constraints |
| Authors: | Beldiceanu, Nicolas; Katriel, Irit; Thiel, Sven |
| Language: | English |
| Date of Publication (YYYY-MM-DD): | 2006 |
| Title of Journal: | Archives of Control Sciences |
| Volume: | 16 |
| Issue / Number: | 2 |
| Start Page: | 191 |
| End Page: | 220 |
| Review Status: | Peer-review |
| Audience: | Experts Only |
| Intended Educational Use: | No |
| Abstract / Description: | We define the \Same\ and \UsedBy\ constraints. \UsedBy\ takes
two sets of variables $X$ and $Z$ such that $|X|\ge |Z|$ and
assigns values to them such that the multiset of values assigned
to the variables in $Z$ is contained in the multiset of values
assigned to the variables in $X$. \Same\ is the special case of
\UsedBy\ in which $|X|=|Z|$.
We show algorithms that achieve arc-consistency and
bound-consistency for these constraints. |
| Last Change of the Resource (YYYY-MM-DD): | 2008-04-02 |
| External Publication Status: | published |
| Document Type: | Article |
| Communicated by: | Kurt Mehlhorn |
| Affiliations: | MPI für Informatik/Algorithms and Complexity Group
|
| Identifiers: | LOCALID:C12573CC004A8E26-4BFB3485EFC1C1F5C1256F870047CA87-...
ISSN:0004-072X |
|
Advanced
