{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T05:53:22Z","timestamp":1747806802993},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2013,12,13]],"date-time":"2013-12-13T00:00:00Z","timestamp":1386892800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[2014,7]]},"DOI":"10.1007\/s10601-013-9154-2","type":"journal-article","created":{"date-parts":[[2013,12,11]],"date-time":"2013-12-11T23:33:18Z","timestamp":1386804798000},"page":"195-242","source":"Crossref","is-referenced-by-count":13,"title":["Lightweight dynamic symmetry breaking"],"prefix":"10.1007","volume":"19","author":[{"given":"Christopher","family":"Mears","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria","family":"Garcia de la Banda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bart","family":"Demoen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Wallace","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,12,13]]},"reference":[{"key":"9154_CR1","doi-asserted-by":"crossref","unstructured":"Backofen, R., & Will, S. (1999). Excluding symmetries in constraint-based search. In J. Jaffar (Ed.), CP. Lecture notes in computer science (Vol. 1713, pp. 73\u201387). Springer.","DOI":"10.1007\/978-3-540-48085-3_6"},{"issue":"2\u20133","key":"9154_CR2","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/s10601-006-8059-8","volume":"11","author":"DA Cohen","year":"2006","unstructured":"Cohen, D.A., Jeavons, P., Jefferson, C., Petrie, K.E., Smith, B.M. (2006). Symmetry definitions for constraint satisfaction problems. Constraints, 11(2\u20133), 115\u2013137.","journal-title":"Constraints"},{"key":"9154_CR3","unstructured":"Crawford, J.M., Ginsberg, M.L., Luks, E.M., Roy, A. (1996). Symmetry-breaking predicates for search problems. In L.C. Aiello, J. Doyle, S.C. Shapiro (Eds.), KR (pp. 148\u2013159). Morgan Kaufmann."},{"key":"9154_CR4","doi-asserted-by":"crossref","unstructured":"Fahle, T., Schamberger, S., Sellmann, M. (2001). Symmetry breaking. In T. Walsh (Ed.), Principles and practice of constraint programming - CP 2001, 7th international conference, CP 2001, Paphos, Cyprus, 26 November\u20131 December 2001, proceedings. Lecture notes in computer science (Vol. 2239, pp. 93\u2013107). Springer.","DOI":"10.1007\/3-540-45578-7_7"},{"key":"9154_CR5","doi-asserted-by":"crossref","unstructured":"Flener, P., Frisch, A.M., Hnich, B., Kiziltan, Z., Miguel, I., Pearson, J., Walsh, T. (2002). Breaking row and column symmetries in matrix models. In P. Van Hentenryck (Ed.), Principles and practice of constraint programming - CP 2002, 8th international conference, CP 2002, Ithaca, NY, USA, 9\u201313 September 2002, proceedings. Lecture notes in computer science (Vol. 2470, pp. 462\u2013476). Springer.","DOI":"10.1007\/3-540-46135-3_31"},{"issue":"1","key":"9154_CR6","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/s10472-009-9172-3","volume":"57","author":"P Flener","year":"2009","unstructured":"Flener, P., Pearson, J., Sellmann, M. (2009). Static and dynamic structural symmetry breaking. Annals of Mathematics and Artificial Intelligence, 57(1), 37\u201357.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"4","key":"9154_CR7","doi-asserted-by":"crossref","first-page":"506","DOI":"10.1007\/s10601-008-9059-7","volume":"14","author":"P Flener","year":"2009","unstructured":"Flener, P., Pearson, J., Sellmann, M., Van Hentenryck, P., \u00c5gren, M. (2009). Dynamic structural symmetry breaking for constraint satisfaction problems. Constraints, 14(4), 506\u2013538.","journal-title":"Constraints"},{"key":"9154_CR8","doi-asserted-by":"crossref","unstructured":"Focacci, F., & Milano, M. (2001). Global cut framework for removing symmetries. In T. Walsh (Ed.), Principles and practice of constraint programming - CP 2001, 7th international conference, CP 2001, Paphos, Cyprus, 26 November\u20131 December 2001, proceedings. Lecture notes in computer science (Vol. 2239, pp. 77\u201392). Springer.","DOI":"10.1007\/3-540-45578-7_6"},{"key":"9154_CR9","unstructured":"Gecode Team (2006). Gecode: generic constraint development environment. Available from http:\/\/www.gecode.org . Accessed 15 Nov 2013."},{"key":"9154_CR10","doi-asserted-by":"crossref","unstructured":"Gent, I.P., Harvey, W., Kelsey, T. (2002). Groups and constraints: symmetry breaking during search. In P. Van Hentenryck (Ed.), Principles and practice of constraint programming - CP 2002, 8th international conference, CP 2002, Ithaca, NY, USA, 9\u201313 September 2002, proceedings. Lecture notes in computer science (Vol. 2470, pp. 415\u2013430). Springer.","DOI":"10.1007\/3-540-46135-3_28"},{"key":"9154_CR11","doi-asserted-by":"crossref","unstructured":"Gent, I.P., Harvey, W., Kelsey, T., Linton, S. (2003). Generic SBDD using computational group theory. In F. Rossi (Ed.), Principles and practice of constraint programming - CP 2003, 9th international conference, CP 2003, Kinsale, Ireland, 29 September\u20133 October 2003, proceedings. Lecture notes in computer science (Vol. 2833, pp. 333\u2013347). Springer.","DOI":"10.1007\/978-3-540-45193-8_23"},{"key":"9154_CR12","unstructured":"Gent, I.P., & Smith, B.M. (2000). Symmetry breaking in constraint programming. In W. Horn (Ed.), ECAI (pp. 599\u2013603). IOS Press."},{"key":"9154_CR13","unstructured":"Gent, I.P., & Walsh, T. (1999). CSPLib: a benchmark library for constraints. Technical report, Technical report APES-09-1999. Available from http:\/\/www.csplib.org\/ . Accessed 15 Nov 2013."},{"issue":"1\/2","key":"9154_CR14","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1023\/A:1006314320276","volume":"24","author":"CP Gomes","year":"2000","unstructured":"Gomes, C.P., Selman, B., Crato, N., Kautz, H.A. (2000). Heavy-tailed phenomena in satisfiability and constraint satisfaction problems. Journal of Automated Reasoning, 24(1\/2), 67\u2013100.","journal-title":"Journal of Automated Reasoning"},{"key":"9154_CR15","doi-asserted-by":"crossref","unstructured":"Heller, D.S., Panda, A., Sellmann, M., Yip, J. (2008). Model restarts for structural symmetry breaking. In P.J. Stuckey (Ed.), CP. Lecture notes in computer science (Vol. 5202, pp. 539\u2013544). Springer.","DOI":"10.1007\/978-3-540-85958-1_38"},{"issue":"2\u20133","key":"9154_CR16","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/s10601-006-7095-8","volume":"11","author":"Y Law","year":"2006","unstructured":"Law, Y., & Lee, J. (2006). Symmetry breaking constraints for value symmetries in constraint satisfaction. Constraints, 11(2\u20133), 221\u2013267.","journal-title":"Constraints"},{"key":"9154_CR17","doi-asserted-by":"crossref","unstructured":"Law, Y.C., Lee, J.H.M., Walsh, T., Yip, J.Y.K. (2007). Breaking symmetry of interchangeable variables and values. In C. Bessiere (Ed.), CP. Lecture notes in computer science (Vol. 4741, pp. 423\u2013437). Springer.","DOI":"10.1007\/978-3-540-74970-7_31"},{"key":"9154_CR18","doi-asserted-by":"crossref","unstructured":"McDonald, I., & Smith, B.M. (2002). Partial symmetry breaking. In P. Van Hentenryck (Ed.), Principles and practice of constraint programming - CP 2002, 8th international conference, CP 2002, Ithaca, NY, USA, 9\u201313 September 2002, proceedings. Lecture notes in computer science (Vol. 2470, pp. 431\u2013445). Springer.","DOI":"10.1007\/3-540-46135-3_29"},{"key":"9154_CR19","doi-asserted-by":"crossref","unstructured":"Mears, C., Garcia de la Banda, M.., Wallace, M., Demoen, B. (2008). A novel approach for detecting symmetries in CSP models. In L. Perron & M.A. Trick (Eds.), CPAIOR. Lecture notes in computer science (Vol. 5015, pp. 158\u2013172). Springer.","DOI":"10.1007\/978-3-540-68155-7_14"},{"key":"9154_CR20","unstructured":"Mears, C., Garcia de la Banda, M., Demoen, B., Wallace, M. (2008). Lightweight dynamic symmetry breaking. In SymCon\u201908: The 8th international workshop on symmetry in constraint satisfaction problems."},{"key":"9154_CR21","doi-asserted-by":"crossref","unstructured":"Petrie, K.E., & Smith, B.M. (2003). Symmetry breaking in graceful graphs. In F. Rossi (Ed.), Principles and practice of constraint programming - CP 2003, 9th international conference, CP 2003, Kinsale, Ireland, 29 September\u20133 October 2003, proceedings. Lecture notes in computer science (Vol. 2833, pp. 930\u2013934). Springer.","DOI":"10.1007\/978-3-540-45193-8_81"},{"key":"9154_CR22","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1007\/s10601-012-9117-z","volume":"17","author":"SD Prestwich","year":"2012","unstructured":"Prestwich, S.D., Hnich, B., Simonis, H., Rossi, R., Tarim, S.A. (2012). Partial symmetry breaking by local search in the group. Constraints, 17, 148\u2013171.","journal-title":"Constraints"},{"key":"9154_CR23","first-page":"350","volume-title":"Proceedings of the 7th international symposium on methodologies for intelligent systems. ISMIS \u201993","author":"J-F Puget","year":"1993","unstructured":"Puget, J.-F. (1993). On the satisfiability of symmetrical constrained satisfaction problems. In Proceedings of the 7th international symposium on methodologies for intelligent systems. ISMIS \u201993 (pp. 350\u2013361). London: Springer-Verlag."},{"key":"9154_CR24","doi-asserted-by":"crossref","unstructured":"Puget, J.-F. (2002). Symmetry breaking revisited. In P. Van Hentenryck (Ed.), Principles and practice of constraint programming - CP 2002, 8th international conference, CP 2002, Ithaca, NY, USA, 9\u201313 September 2002, proceedings. Lecture notes in computer science (Vol. 2470, pp. 446\u2013461). Springer.","DOI":"10.1007\/3-540-46135-3_30"},{"key":"9154_CR25","doi-asserted-by":"crossref","unstructured":"Puget, J.-F. (2003). Symmetry breaking using stabilizers. In F. Rossi (Ed.), Principles and practice of constraint programming - CP 2003, 9th international conference, CP 2003, Kinsale, Ireland, 29 September\u20133 October 2003, proceedings. Lecture notes in computer science (Vol. 2833, pp. 585\u2013599). Springer.","DOI":"10.1007\/978-3-540-45193-8_40"},{"key":"9154_CR26","unstructured":"Roney-Dougal, C.M., Gent, I.P., Kelsey, T., Linton, S. (2004). Tractable symmetry breaking using restricted search trees. In R. L\u00f3pez de M\u00e1ntaras & L. Saitta (Eds.), ECAI (pp. 211\u2013215). IOS Press."},{"key":"9154_CR27","unstructured":"The GAP Group (2006). GAP \u2013 groups, algorithms, and programming, version 4.4.9."},{"key":"9154_CR28","unstructured":"Van Hentenryck, P., Flener, P., Pearson, J., \u00c5gren, M. (2003). Tractable symmetry breaking for CSPs with interchangeable values. In G. Gottlob & T. Walsh (Eds.), IJCAI (pp. 277\u2013284). Morgan Kaufmann."},{"key":"9154_CR29","doi-asserted-by":"crossref","unstructured":"Van Hentenryck, P., Flener, P., Pearson, J., \u00c5gren, M. (2005). Compositional derivation of symmetries for constraint satisfaction. In J.-D. Zucker & L. Saitta (Eds.), SARA. Lecture notes in computer science (Vol. 3607, pp. 234\u2013247). Springer.","DOI":"10.1007\/11527862_17"},{"issue":"1","key":"9154_CR30","first-page":"159","volume":"12","author":"MG Wallace","year":"1997","unstructured":"Wallace, M.G., Novello, S., Schimpf, J. (1997). ECLiPSe: a platform for constraint logic programming. ICL Systems Journal, 12(1), 159\u2013200.","journal-title":"ICL Systems Journal"}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-013-9154-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10601-013-9154-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-013-9154-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T15:14:17Z","timestamp":1559229257000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10601-013-9154-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12,13]]},"references-count":30,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,7]]}},"alternative-id":["9154"],"URL":"https:\/\/doi.org\/10.1007\/s10601-013-9154-2","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"value":"1383-7133","type":"print"},{"value":"1572-9354","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,12,13]]}}}