Dynamic symmetry breaking restarted

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

Volumn 4204 LNCS, Issue , 2006, Pages 721-725

  Heller, Daniel S ^a   Sellmann, Meinolf ^a  

^a Brown Univerity   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

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

References (15)

1. N. Barnier and P. Brisset. Solving the Kirkman's schoolgirl problem in a few seconds. Proceedings of CP'02, 477-491, 2002.
2. C. Brown, L. Finkelstein, P. Purdom Jr. Backtrack searching in the presence of symmetry. Proceedings of AAECC-6, 99-110, 1988.
3. J. Crawford, M. Ginsberg, E. Luks, A. Roy. Symmetry-breaking predicates for search problems. Proceedings of KR'96, 149-159, 1996.
4. T. Fahle, S. Schamberger, M. Sellmann. Symmetry Breaking. Proceedings of CP'01, 93-107, 2001.
5. P. Flener, A. Frisch, B. Hnich, Z. Kiziltan, I. Miguel, J. Pearson, T. Walsh. Breaking row and column symmetries in matrix models. Proceedings of CP'02, 462-476, 2002.
6. F. Focacci and M. Milano. Global cut framework for removing symmetries. Proceedings of CP'01, 77-92, 2001.
7. I. Gent, W. Harvey, T. Kelsey, S. Linton. Generic SBDD using computational group theory. Proceedings of CP'03, 333-347, 2003.
8. I. Gent and B. Smith. Symmetry breaking in constraint programming. Proceedings of ECAI'00, 599-603, 2000.
9. C.P. Gomes, B. Selman, N. Crato. Heavy-Tailed Distributions in Combinatorial Search. Proceedings of CP'97, 121-135, 1997.
10. Dynamic Restart Policies. H. Kautz, E. Horvitz, Y. Ruan, C. Gomes, B. Selman. Proceedings of AAAI'02, 674-682, 2002.
11. S. Prestwich and A. Roli. Symmetry Breaking and Local Search Spaces. Proceedings of CPAIOR'05, 273-287, 2005.
12. J.-F. Puget. Symmetry breaking revisited. Proceedings of CP'02, 446-461, 2002.
13. C. Roney-Dougal, I. Gent, T. Kelsey, S. Linton. Tractable symmetry breaking using restricted search trees. Proceedings of ECAI'04, 211-215, 2004.
14. M. Sellmann and P. Van Hentenryck. Structural Symmetry Breaking. Proceedings of IJCAI'05, 298-303, 2005.
15. P. Van Hentenryck, P. Flener, J. Pearson, M. Agren. Tractable symmetry breaking for CSPs with interchangeable values. Proceedings of IJCAI'03, 277-282, 2003.