The all different and global cardinality constraints on set, multiset and tuple variables

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

Volumn 3978 LNAI, Issue , 2006, Pages 1-13

  Quimper, Claude Guy ^a   Walsh, Toby ^b  

^a UNIVERSITY OF WATERLOO   (Canada)

^b UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; INFORMATION TECHNOLOGY; LOGIC PROGRAMMING; PROBLEM SOLVING; SET THEORY;

ALL-DIFFERENT CONSTRAINTS; PROPAGATORS; PRUNE VARIABLES; TUPLE VARIABLES;

CONSTRAINT THEORY;

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

References (20)

1. P. Hall, On representatives of subsets. Journal of the London Mathematical Society, pages 26-30, 1935.
2. 5/2 algorithm for maximum matchings in bipartite graphs. SIAM Journal of Computing, volume 2 pages 225-231, 1973.
3. ILOG S. A., ILOG Solver 4.2 user's manual. 1998.
4. J.-C. Régin, A filtering algorithm for constraints of difference in CSPs. In Proceedings of the Twelfth National Conference on Artificial Intelligence, pages 362-367, Seattle, 1994.
5. J.-C. Régin, Generalized are consistency for global cardinality constraint. In Proceedings of the Thirteenth National Conference on Artificial Intelligence, pages 209-215, Portland, Oregon, 1996.
6. K. Stergiou and T. Walsh, The difference all-difference makes. In Proceedings of the Sixteenth International Joint Conference on Artificial, Intelligence, pages 414-419, Stockholm, 1999.
7. A. Sadler and C. Gervet, Hybrid Set, Domains to Strengthen Constraint Propagation and Reduce Symmetries. In In Proceedings of the 10th International Conference on Principles and Practice of Constraint Programming, pages 604-618, Toronto, Canada, 2004.
8. D. Knuth, Generating All Tuples and Permutations. Addison-Wesley Professional, 144 pages, 2005.
9. A. López-Ortiz, C.-G. Qnimper, J. Tromp, and P. van Beek, A fast and simple algorithm for bounds consistency of the alldifferent; constraint. In Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, pages 245-250, Acapulco, Mexico, 2003.
10. W. H. Press, B. P. Flarmery, S. A. Teukolsky, W. T. Vetterling, Numerical Recipes in C: The Art of Scientific Computing, Second Edition, Cambridge University Press, 1992.
11. J.-C. Régin and C. P. Gomes, The Cardinality Matrix Constraint. In In Proceedings of the 10th International Conference on Principles and Practice of Constraint, Programming, pages 572-587, Toronto, Canada, 2004.
12. C. Gervet, Interval Propagation to Reason about Sets: Definition and Implementation of a Practical Language. Constraints Journal, 1(3) pages 191-244, 1997.
13. C. Gervet, Set Internals in, Constraint Logic Programming: Definition and Implementation of a Langnage. PhD thesis, Université de Franche-Comté, France, September 1995. European thesis, in English.
14. J.-F. Puget, Finite sot intervals. In Proceedings of Workshop on Set Constraints, held at CP'96, 1996.
15. T. Müller and M. Müller, Finite set constraints in Oz. In François Bry,Burkhard Freitag, and Dietmar Seipel, editors, 13. Workshop Logische Programmierung, pages 104-115, Technische Universität München, pages 17-19 September 1997.
16. T. Walsh, Consistency and Propagation with Multiset Constraints: A Formal Viewpoint. In Proceedings of the 9th International Conférence, on Principles and Practice of Constraint Programming, Kinsale, Ireland, 2003.
17. I.P. Gent and T. Walsh, CSPLib: a benchmark library for constraints. Technical report APES-09-1999, 1999.
18. M. Leconte, A bounds-based reduction scheme for constraints of difference. In Proceedings of the Constraint-96 International Workshop on Constraint-B used Rea-soning, pages 19-28, 1996.
19. A. López-Ortiz, C.-G. Quimper, J. Tromp, and P. van Beek, A fast and simple algorithm for bounds consistency of the alldifferent constraint, in Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI-03) pages 245-250, 2003.
20. J.-F. Puget, A Fast Algorithm for the Bound Consistency of Alldiff Constraints. In Proceedings of the 15th National Conference on Artificiel Intelligence (AAAI-98) and the 10th Conference on Innovation Applications of Artificial Intelligence (IAAI-98)", pages 359-366, 1998.