Finite domain bounds consistency revisited

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

Volumn 4304 LNAI, Issue , 2006, Pages 49-58

  Choi, C W ^a   Harvey, W ^b   Lee, J H M ^a   Stuckey, P J ^c  

^a CHINESE UNIVERSITY OF HONG KONG   (Hong Kong)

^b CrossCore Optimization Ltd   (United Kingdom)

^c UNIVERSITY OF MELBOURNE   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT SATISFACTION PROBLEMS;

ARBITRARY CONSTRAINTS; ARITHMETIC CONSTRAINTS; BOUNDS CONSISTENCY; CONSTRAINT PROPAGATION; FINITE DOMAINS; GLOBAL CONSTRAINTS; SEARCH SPACES; TREE SEARCH;

ARTIFICIAL INTELLIGENCE;

EID: 84886432803     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11941439_9     Document Type: Conference Paper

References (27)

1. K. Apt. Principles of Constraint Programming. Cambridge University Press, 2003.
2. F. Benhamou, D. McAllester, and P. Van Hentenryck. CLP(Intervals) revisited. In ILPS 1994, pages 124-138, 1994.
3. F. Benhamou and W. J. Older. Applying interval arithmetic to real, integer, and boolean constraints. JLP, 32(1): 1-24, 1997.
4. A. Cheadle, W. Harvey, A. Sadler, J. Schimpf, K. Shen, and M. Wallace. ECLiPSe: An introduction. Technical Report IC-Parc-03-1, IC-Parc, Imperial College London, 2003.
5. C. W. Choi, W. Harvey, J. H. M. Lee, and P. J. Stuckey. A note on the definition of constraint monotonicity. Available from http: //www.cse.cuhk.edu. hk/? cwchoi/monotonicity.pdf, 2004.
6. R. Dechter. Constraint Processing. Morgan Kaufmann, 2003.
7. A. Frisch, B. Hnich, Z. Kiziltan, I. Miguel, and T. Walsh. Global constraints for lexicographic orderings. In CP2002, pages 93-108. Springer-Verlag, 2002.
8. C. Gervet. Interval propagation to reason about sets: Definition and implementation of a practical language. Constraints, 1(3): 191-244, 1997.
9. W. Harvey and J. Schimpf. Bounds consistency techniques for long linear constraints. In Proceedings of TRICS: Techniques foR Implementing Constraint programming Systems, pages 39-46, 2002.
10. ILOG. ILOG Solver 5.2: User's Manual, 2001.
11. I. Katriel and S. Thiel. Fast bound consistency for the global cardinality constraint. In CP 2003, pages 437-451, 2003.
12. A. Lallouet, A. Legtchenko, T. Dao, and A. Ed-Dbali. Intermediate (learned) consistencies. Research Report RR-LIFO-2003-04, Laboratoire d'Informatique Fondamentale d'Orleans, 2003.
13. O. Lhomme. Consistency techniques for numeric CSPs. In IJCAI 93, pages 232-238, 1993.
14. A. Lopez-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 2003), pages 245-250, 2003.
15. A. K. Mackworth. Consistency in networks of relations. Artificial Intelligence, 8(1): 99-118, 1977.
16. M. Maher. Propagation completeness of reactive constraints. In ICLP 2002, pages 148-162, 2002.
17. K. Marriott and P. J. Stuckey. Programming with Constraints: an Introduction. The MIT Press, 1998.
18. K. Mehlhorn and S. Thiel. Faster algorithms for bound-consistency of the sortedness and the alldifferent constraint. In CP2000, pages 306-319, 2000.
19. J.-F. Puget. A fast algorithm for the bound consistency of alldiff constraints. In Proceedings of the 15th National Conference on Artificial Intelligence (AAAI 98), pages 359-366, 1998.
20. C.-G. Quimper, P. van Beek, A. Lopez-Ortiz, A. Golynski, and S. B. Sadjad. An efficient bounds consistency algorithm for the global cardinality constraint. In CP 2003, pages 600-614, 2003.
21. J.-C. Regin and M. Rueher. A global constraint combining a sum constraint and difference constraints. In CP 2000, pages 384-395, 2000.
22. C. Schulte and P. J. Stuckey. When do bounds and domain propagation lead to the same search space. In Proceedings of the 3rd International Conference on Principles and Practice of Declarative Programming (PPDP 2001), pages 115-126, 2001.
23. SICStus Prolog. SICStus Prolog User's Manual, Release 3.10.1, 2003.
24. P. Van Hentenryck, V. Saraswat, and Y. Deville. Design, implementation and evaluation of the constraint language cc(FD). Journal of Logic Programming, 37(1-3): 139-164, 1998.
25. T. Walsh. Relational consistencies. Research Report APES-28-2001, APES Research Group, 2001.
26. T. Walsh. Consistency and propagation with multiset constraints: A formal viewpoint. In Proceedings of the 9th International Conference on Principles and Practice of Constraint Programming (CP 2003), pages 724-738, 2003.
27. Y. Zhang and R. H. C. Yap. Arc consistency on n-ary monotonic and linear constraints. In CP 2000, pages 470-483, 2000.