Breaking value symmetries in matrix models using channeling constraints

Proceedings of the ACM Symposium on Applied Computing

Volumn 1, Issue , 2005, Pages 371-376

  Law, Y C ^a   Lee, J H M ^a  

^a CHINESE UNIVERSITY OF HONG KONG   (Hong Kong)

Author keywords

CSP; Symmetry breaking

Indexed keywords

COMPUTATIONAL COMPLEXITY; INFORMATION ANALYSIS; INFORMATION TECHNOLOGY; MATHEMATICAL MODELS; MATRIX ALGEBRA; SOCIAL ASPECTS;

CONSTRAINT SATISFACTION PROBLEMS (CSP); MULTI ASPECT ASSIGNMENT PROBLEMS (MAP); QUASIGROUPS; SYMMETRY BREAKING;

PROBLEM SOLVING;

EID: 33644530954     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1066677.1066764     Document Type: Conference Paper

References (11)

1. B. M. W. Cheng, K. M. F. Choi, J. H. M. Lee, and J. C. K. Wu. Increasing constraint propagation by redundant modeling: an experience report. Constraints, 4(2):167-192, 1999.
2. C. W. Choi, J. H. M. Lee, and P. J. Stuckey. Propagation redundancy in redundant modelling. In Proceedings of CP-03, pages 229-243, 2003.
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. T. Fahle, S. Schamberger, and M. Sellmann. Symmetry breaking. In Proceedings of CP-01, pages 93-107, 2001.
5. 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.
6. E. C. Freuder. Eliminating interchangeable values in constraint satisfaction problems. In Proceedings of AAAI-91, pages 227-233, 1991.
7. 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.
8. ILOG. ILOG Solver 4.4 Reference Manual, 1999.
9. Y. C. Law and J. H. M. Lee. Global constraints for integer and set value precedence. In Proceedings of CP-04, pages 362-376, 2004.
10. A. K. Mackworth. Consistency in networks of relations. Artificial Intelligence, 8(1):99-118, 1977.
11. W. P. Pierskalla. The multidimensional assignment problem. Operations Research, 16(2):422-431, 1968.