Symmetry and search in a network design problem

Lecture Notes in Computer Science

Volumn 3524, Issue , 2005, Pages 336-350

  Smith, Barbara M ^a  

^a UNIVERSITY COLLEGE CORK   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; LINEAR PROGRAMMING; MATHEMATICAL MODELS; OPTIMIZATION; PROBLEM SOLVING;

CONSTRAINT PROGRAMMING; DECISION VARIABLES; NETWORK DESIGN; SONET RINGS;

FIBER OPTIC NETWORKS;

EID: 26444586059     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11493853_25     Document Type: Conference Paper

References (9)

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:167-192, 1999.
2. B. Y. Choueiry and G. Noubir. On the Computation of Local Interchangeability in Discrete Constraint Satisfaction Problems. In AAAI-98, pages 326-333, 1998.
3. A. M. Frisch, B. Hnich, I. Miguel, B. M. Smith, and T. Walsh. Towards Model Reformulation at Multiple Levels of Abstraction. In A. M. Frisch, editor, Proceedings of the International Workshop on Reformulating Constraint Satisfaction Problems: Towards Systematisation and Automation, 2002.
4. A. M. Frisch, I. Miguel, and T. Walsh. Modelling a Steel Mill Slab Design Problem. In Proceedings of the IJCAI'01 Workshop on Modelling and Solving Problems with Constraints, pages 39-45, 2001.
5. I. P. Gent and B. M. Smith. Symmetry Breaking During Search in Constraint Programming. In W. Horn, editor, Proceedings ECAI'2000, pages 599-603, 2000.
6. J.-C. Régin. Using Constraint Programming to Solve the Maximum Clique Problem. In F. Rossi, editor, Principles and Practice of Constraint Programming - CP 2003, LNCS 2833, pages 634-648. Springer, 2003.
7. H. D. Sherali and J. C. Smith. Improving Discrete Model Representations Via Symmetry Considerations. Management Science, 47:1396-1407, 2001.
8. H. D. Sherali, J. C. Smith, and Y. Lee. A branch-and-cut algorithm for solving an intra-ring synchronous optical network design problem allowing demand splitting. INFORMS J. on Computing, 12:284-298, 2000.
9. B. M. Smith. Search Strategies for Optimization: Modelling the SONET Problem. Report APES-70-2003, Aug. 2003. Presented at the CP'03 Workshop on Modelling and Reformulating Constraint Satisfaction Problems.