Among, common and disjoint constraints

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

Volumn 3978 LNAI, Issue , 2006, Pages 29-43

  Bessiere, Christian ^a   Hebrard, Emmanuel ^b   Huich, Brahim ^c   Kiziltan, Zeynep ^d   Walsh, Toby ^b  

^a LIRMM   (France)

^b UNIVERSITY OF NEW SOUTH WALES   (Australia)

^c IZMIR UNIVERSITY OF ECONOMICS   (Turkey)

^d UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; LOGIC PROGRAMMING; PROBLEM SOLVING; RESOURCE ALLOCATION; SET THEORY;

AMONG; COMMON; CONSTRAINT PROPAGATION; GLOBAL CONSTRAINTS; LOGICAL DECOMPOSITIONS;

CONSTRAINT THEORY;

EID: 33746642045     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11754602_3     Document Type: Conference Paper

References (11)

1. Beldiceanu, N. 2001. Pruning for the minimum constraint family and for the number of distinct values constraint family. In Proc. of CP 2001, 211-224. Springer.
2. Beldiceanu, N. 2000. Global constraints as graph properties on a structured network of elementary constraints of the same type. Technical report T2000/01, Swedish Institute of Computer Science.
3. Beldiceanu, N., and Contegean, E. 1994. Introducing global constraints in CHIP. Mathematical Computer Modelling 20(12):97-123.
4. Beldiceanu, N., Katriel, I., and Thiel, S. 2004. Filtering algorithms for the same and usedby constraints. MPI Technical Report MPI-I-2004-1-001.
5. Bessiere, C., Hebrard, E., Hnich, B. and Walsh, T. 2004. The Complexity of Global Constraints. In Proc. of AAAI 2004. AAAI Press / The MIT Press.
6. Bessiere, C., Hebrard, E., Hnich, B., Kizilitan Z. and Walsh, T. 2005. The Range and Roots Constraints: Specifying Counting and Occurrence Problems. In Proc. of IJCAI 2005, 60-65. Professional Book Center.
7. Cheng, B.M.W., Choi, K.M.F., Lee, J.H.M. and Wu, J.C.K. 1999. Increasing Constraint Propagation by Redundant Modeling: an Experience Report. Constraints 4(2): 167-192.
8. Régin, J.-C. 1994. A filtering algorithm for constraints of difference in CSPs. In Proc. of AAAI 1994, 362-367. AAAI Press.
9. Régin, J.-C. 1996. Generalized arc consistency for global cardinality constraints. In Proc. of AAAI 1996, 209-215. AAAI Press / The MIT Press.
10. Sadler, A., and Gervet, C. 2001. Global reasoning on sets. In Proc. of Workshop on Modelling and Problem Formulation (FORMUL'01). Held alongside CP 2001.
11. Swedish Institue of Computer Science. 2004. SICStus Prolog User's Manual, Release 3.12.0. Available at http://www.sics.se/sicstus/docs/latest/pdf/sicstus.pdf.