Propagation redundancy in redundant modelling

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

Volumn 2833, Issue , 2003, Pages 229-243

  Choi, Chiu Wo ^a   Lee, Jimmy Ho Man ^a   Stuckey, Peter J ^b  

^a CHINESE UNIVERSITY OF HONG KONG   (Hong Kong)

^b UNIVERSITY OF MELBOURNE   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER PROGRAMMING; CONSTRAINT THEORY;

CHANNELLING CONSTRAINT; CONSTRAINT PROPAGATION; EXTRA COMPUTATIONS; REDUNDANT CONSTRAINTS; SEARCH SPACES; SPEED UP;

REDUNDANCY;

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

References (10)

1. S. Abdennadher and C. Rigotti. Automatic generation of rule-based solvers for intentionally defined constraints. IJAIT11(2):283-302, 2002.
2. K. Apt and E. Monfroy. Constraint programming viewed as rule-based programming. Theory and Practice of Logic Programming, 1(6):713-750, 2001.
3. C. Bessiére and J. Régin. Arc consistency for general constraint networks: preliminary results. In IJCAI-97 pages 398-404, 1997.
4. B. Cheng, K. Choi, J. Lee, and J. Wu. Increasing constraint propagation by redundant modelling: an experience report. Constraints, 4(2):167-192, 1999.
5. C.W. Choi, J.H.M. Lee, and P. J. Stuckey Propagation Redundancy for Permutation Channels In IJCAI-03, to appear.
6. B. Hnich, Z. Kiziltan, and T. Walsh. Modelling a balanced academic curriculum problem. In CP-AI-OR'02, pages 121-131, 2002.
7. B. M. Smith. Modelling a permutation problem. Research Report 2000.18, School of Computer Studies, University of Leeds, 2000.
8. B. M. Smith. Dual models in constraint programming. Research Report 2001.02, School of Computer Studies, University of Leeds, 2001.
9. T. Walsh. Permutation problems and channelling constraints. In LPAR2001, pages 377-391, 2001.
10. S. Brand. A note on redundant rules in rule-based constraint programming. In Recent Advances in Constraints, pages 109-120, 2003.