Static and dynamic structural symmetry breaking

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

Volumn 4204 LNCS, Issue , 2006, Pages 695-699

  Flener, Pierre ^a   Pearson, Justin ^a   Sellmann, Meinolf ^b   Van Hentenryck, Pascal ^b  

^a UPPSALA UNIVERSITY   (Sweden)

^b Brown Univerity   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; CONSTRAINT THEORY; OPTIMIZATION; PROBLEM SOLVING;

CONSTRAINT SATISFACTION PROBLEMS (CSP); DYNAMIC STRUCTURAL SYMMETRY; STATIC VARIABLES; STRUCTURAL SYMMETRY BREAKING (SSB);

COMPUTATIONAL GEOMETRY;

EID: 33750353377     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11889205_53     Document Type: Conference Paper

References (9)

1. T. Fahle, S. Schamberger, and M. Seilmann. Symmetry breaking. In T. Walsh, editor, Proceedings ofCP'01, volume 2293 of LNCS, pages 93-107. Springer-Verlag, 2001.
2. F. Focacci and M. Milano. Global cut framework for removing symmetries. In T. Walsh, editor, Proceedings ofCP'01, volume 2239 of LNCS, pages 77-92. Springer-Verlag, 2001.
3. I. P. Gent and B. M. Smith. Symmetry breaking during search in constraint programming. In Proceedings of ECAI'00, pages 599-603, 2000.
4. J.-F. Puget. On the satisfiability of symmetrical constrained satisfaction problems. In Proceedings of ISMIS'93, volume 689 of LNAI, pages 350-361. Springer-Verlag, 1993.
5. J.-F. Puget. An efficient way of breaking value symmetries. In Proceedings of AAAI'06. AAAI Press, 2006.
6. J.-C. Régin. Generalized arc-consistency for global cardinality constraint. In Proceedings of AMI'96, pages 209-215. AAAI Press, 1996.
7. C. M. Roney-Dougal, I. P. Gent, T. Kelsey, and S. Linton. Tractable symmetry breaking using restricted search trees. In Proceedings of ECAI'04, pages 211-215. IOS Press, 2004.
8. M. Sellmann and P. Van Hentenryck. Structural symmetry breaking. In Proceedings of IJCAI'05. Morgan Kaufmann, 2005.
9. P. Van Hentenryck, P. Flener, J. Pearson, and M. Ågren. Tractable symmetry breaking for CSPs with interchangeable values. In Proceedings of IJCAI'03, Morgan Kaufmann, 2003.