Please note that eDoc will be permanently shut down in the first quarter of 2021!      Home News About Us Contact Contributors Disclaimer Privacy Policy Help FAQ

Home
Search
Quick Search
Advanced
Fulltext
Browse
Collections
Persons
My eDoc
Session History
Login
Name:
Password:
Documentation
Help
Support Wiki
Direct access to
document ID:


          Institute: MPI für Informatik     Collection: Algorithms and Complexity Group     Display Documents



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
The scope and number of records on eDoc is subject to the collection policies defined by each institute - see "info" button in the collection browse view.