Global constraints for integer and set value precedence

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

Volumn 3258, Issue , 2004, Pages 362-376

  Law, Yat Chiu ^a   Lee, Jimmy H M ^a  

^a CHINESE UNIVERSITY OF HONG KONG   (Hong Kong)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY;

CONSTRAINT PROGRAMMING SYSTEMS; GLOBAL CONSTRAINTS; PROPAGATION ALGORITHM; RUNTIMES; SYMMETRY BREAKING CONSTRAINTS;

COMPUTER PROGRAMMING;

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

References (13)

1. N. Barnier and P. Brisset. Solving the Kirkman's schoolgirl problem in a few seconds. In Proceedings of CP-02, pages 477-491, 2002.
2. B. Benhamou. Study of symmetry in constraint satisfaction problems. In Proceedings of PPCP-94, 1994.
3. J. Crawford, M. Ginsberg, E. Luks, and A. Roy. Symmetry-breaking predicates for search problems. In Proceedings of KR-96, pages 148-159, 1996.
4. P. Flener, A. M. Frisch, B. Hnich, Z. Kiziltan, I. Miguel, J. Pearson, and T. Walsh. Breaking row and column symmetries in matrix models. In Proceedings of CP-02, pages 462-476, 2002.
5. E. C. Freuder. Eliminating interchangeable values in constraint satisfaction problems. In Proceedings of AAAI-91, pages 227-233, 1991.
6. A. M. Frisch, B. Hnich, Z. Kiziltan, I. Miguel, and T. Walsh. Global constraints for lexicographical orderings. In Proceedings of CP-02, pages 93-108, 2002.
7. A. M. Frisch, C. Jefferson, and I. Miguel. Constraints for breaking more row and column symmetries. In Proceedings of CP-03, pages 318-332, 2003.
8. A. M. Frisch, I. Miguel, Z. Kiziltan, B. Hnich, and T. Walsh. Multiset ordering constraints. In Proceedings of IJCAI-03, pages 221-226, 2003.
9. I.P. Gent. A symmetry breaking constraint for indistinguishable values. In Proceedings of SymCon-01, 2001.
10. C. Gervet. Interval propagation to reason about sets: Definition and implementation of a practical language. Constraints, 1(3):191-244, 1997.
11. ILOG. ILOG Solver 4.4 Reference Manual, 1999.
12. Y. C. Law and J. H. M. Lee. Breaking value symmetries in matrix models using channeling constraints. Technical report, The Chinese Univ. of Hong Kong, 2004.
13. R. Mohr and G. Masini. Good old discrete relaxation. In Proceedings of ECAI-88, pages 651-656, 1988.