MPI-INF Logo
Publications

Server    domino.mpi-inf.mpg.de

Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop

Author, Editor
Author(s):
Beldiceanu, Nicolas
Katriel, Irit
Thiel, Sven		dblp
dblp
dblp
Not MPG Author(s):
Beldiceanu, Nicolas
Editor(s):
Faltings, Boi
Petcu, Adrian
Fages, Francois
Rossi, Francesca		dblp
dblp
dblp
dblp
Not MPII Editor(s):
Faltings, Boi
Petcu, Adrian
Fages, Francois
Rossi, Francesca
BibTeX cite key*:
KatrielSWC2004
Title, Booktitle
Title*:
GCC-like Restrictions on the Same constraint
Booktitle*:
Constraint Satisfaction and Constraint Logic Programming : ERCIM/CoLogNet International Workshop, CSCLP 2004
Event, URLs
Conference URL::
Downloading URL:
http://www.mpi-sb.mpg.de/~irit/pub/SWC.ps
Event Address*:
Lausanne, Switzerland
Language:
English
Event Date*
(no longer used):
Organization:
Event Start Date:
23 June 2004
Event End Date:
25 June 2005
Publisher
Name*:
Springer
URL:
Address*:
Berlin, Germany
Type:
Vol, No, Year, pp.
Series:
Lecture Notes in Computer Science
Volume:
3419
Number:
Month:
Pages:
1-11
Year*:
2005
VG Wort Pages:
ISBN/ISSN:
0302-9743
Sequence Number:
DOI:
Note, Abstract, ©
(LaTeX) Abstract:
The \Same\ constraint takes two sets of variables $X$ and $Z$
such that $|X|=|Z|$ and assigns values to them such that the
multiset of values assigned to the variables in $X$ is equal
to the multiset of values assigned to the variables in $Z$.
In this paper we extend the \Same\ constraint in a GCC-like
manner by adding cardinality requirements on the values.
That is, for each value we have a lower and upper bound on
the number of variables that can be assigned this value.
We show an algorithm that achieves arc-consistency for this
constraint and a faster algorithm that achieves bound-consistency
for a restricted case of it.
Download
Access Level:
Intranet

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Algorithms and Complexity Group
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort



BibTeX Entry:

@INPROCEEDINGS{KatrielSWC2004,
AUTHOR = {Beldiceanu, Nicolas and Katriel, Irit and Thiel, Sven},
 EDITOR = {Faltings, Boi and Petcu, Adrian and Fages, Francois and Rossi, Francesca},
 TITLE = {GCC-like Restrictions on the Same constraint},
 BOOKTITLE = {Constraint Satisfaction and Constraint Logic Programming : ERCIM/CoLogNet International Workshop, CSCLP 2004},
 JOURNAL = {Recent Advances in Constraints},
 PUBLISHER = {Springer},
 YEAR = {2005},
 VOLUME = {3419},
 PAGES = {1--11},
 SERIES = {Lecture Notes in Computer Science},
 ADDRESS = {Lausanne, Switzerland},
 ISBN = {0302-9743},
}

Entry last modified by Christine Kiesel, 07/06/2006
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Irit Katriel		Created
01/12/2005 13:58:24
Revisions
9.
8.
7.
6.
5.		Editor(s)
Christine Kiesel
Christine Kiesel
Christine Kiesel
Christine Kiesel
Christine Kiesel		Edit Dates
06.07.2006 15:03:10
01.05.2005 19:06:58
01.05.2005 18:57:28
01.05.2005 18:57:05
01.05.2005 18:57:02