Consistency and propagation with multiset constraints: A formal viewpoint

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

Volumn 2833, Issue , 2003, Pages 724-738

  Walsh, Toby ^a  

^a UNIVERSITY COLLEGE CORK   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY;

BOUNDS CONSISTENCY; CONSTRAINT PROPAGATION; FINITE-DOMAIN VARIABLES; GLOBAL CONSTRAINTS; INFERENCE RULES; INTEGER VARIABLES; LOCAL CONSISTENCY; U-S MODELING;

COMPUTER PROGRAMMING;

EID: 35248894752     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45193-8_49     Document Type: Article

References (9)

1. Gervet, C. Conjunto: constraint logic programming with finite set domains. In Bruynooghe, M., ed.: Proc. of the 1994 Int. Symp. on Logic Programming, MIT Press (1994) 339-358
2. Müller, T., Müller, M. Finite set constraints in Oz. In Bry, F., Freitag, B., Seipel, D., eds.: 13th Logic Programming Workshop, TU München (1997) 104-115
3. Proll, L., Smith, B. Integer linear programming and constraint programming approaches to a template design problem. INFORMS Journal on Computing, 10 (1998) 265-275
4. Gervet, C. Interval Propagation to Reason about Sets: Definition and Implementation of a Practical Language. Constraints 1 (1997) 191-244
5. Régin, J. A filtering algorithm for constraints of difference in CSPs. In Proc. of the 12th National Conference on AI, American Association for AI (1994) 362-367
6. Beldiceanu, N. Global constraints as graph properties on a structured network of elementary constraints of the same type. In Proc. of 6th Int. Conf. on Principles and Practice of Constraint Programming (CP2000), Springer (2000) 52-66
7. Gent, I., Stergiou, K., Walsh, T. Decomposable constraints. Artificial Intelligence 123 (2000) 133-156
8. Dovier, A., Piazza, C., Pontelli, E., Rossi, G. Set and constraint logic programming. ACM Trans, on Programming Languages and Systems 22 (2000) 861-931
9. Legeard, B., Legros, E. Short overview of the CLPS system. In Proc. of 3rd Int. Symp. on Programming Language Implementation and Logic Programming, Springer-Verlag (1991) 431-433 LNCS 528.