Disjoint, partition and intersection constraints for set and multiset variables

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3258, Issue , 2004, Pages 138-152

  Bessiere, Christian ^a   Hebrard, Emmanuel ^b   Hnich, Brahim ^b   Walsh, Toby ^b  

^a LIRMM   (France)

^b UNIVERSITY COLLEGE CORK   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING;

BOUND CONSISTENCY; CARDINALITY CONSTRAINTS; FINITE-DOMAIN VARIABLES; GLOBAL CARDINALITY CONSTRAINT; GLOBAL CONSTRAINTS; LOCAL CONSISTENCY; POLYNOMIAL ALGORITHM; SYSTEMATIC STUDY;

CONSTRAINT THEORY;

EID: 26944462143     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30201-8_13     Document Type: Article

References (12)

1. N. Beldiceanu. Global constraints as graph properties on a structured network of elementary constraints of the same type. In Proc. CP'00, pages 52-66. Springer, 2000.
2. C. Bessiere, E. Hebrard, B. Hnich, and T. Walsh. The complexity of global constraints. In Proc. AAAI'04, 2004.
3. C. Gervet. Conjunto: constraint logic programming with finite set domains. Proc. of the 1994 Int. Symp. on Logic Programming, pages 339-358. MIT Press, 1994.
4. Ilog. User's manual. ILOG Configurator 2.3. 2004.
5. Ilog. User's manual. ILOG Solver 6.0. Sept. 2003.
6. T. Müller and M. Müller. Finite set constraints in Oz. 13th Logic Programming Workshop, pages 104-115, Technische Universität München, 1997.
7. J-C. Régin. A filtering algorithm for constraints of difference in CSPs. In Proc. AAAI'94, pages 362-367. AAAI, 1994.
8. J-C. Ré gin. Generalized arc consistency for global cardinality constraints. In Proc. AAAI'96, pages 209-215. AAAI Press/The MIT Press, 1996.
9. A. Sadler and C. Gervet. Global reasoning on sets. In Proc. of Workshop on Modelling and Problem Formulation (FORMUL'01), 2001. Held alongside CP-01.
10. A. Sadler and C. Gervet. Global Filtering for the Disjointness Constraint on Fixed Cardinality Sets. In Technical report IC-PARC-04-02, Imperial College London, March 2001.
11. J. Schimpf, A. Cheadle, W. Harvey, A. Sadler, K. Shen, and M. Wallace. ECLiPSe. In Technical report IC-PARC-03-01, Imperial College London, 2003.
12. T. Walsh. Consistency and propagation with multiset constraints: A formal viewpoint. In Proc. CP'03. Springer, 2003.