{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T14:00:25Z","timestamp":1776866425486,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540441205","type":"print"},{"value":"9783540461357","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46135-3_29","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T01:59:47Z","timestamp":1179194387000},"page":"431-445","source":"Crossref","is-referenced-by-count":11,"title":["Partial Symmetry Breaking"],"prefix":"10.1007","author":[{"given":"Iain","family":"McDonald","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barbara","family":"Smith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,2]]},"reference":[{"key":"29_CR1","doi-asserted-by":"crossref","unstructured":"Rolf Backofen and Sebastian Will. Excluding symmetries in constraint-based search. In Alex Brodsky, editor, Principles and Practice of Constraint Programming, pages 73\u201387. Springer-Verlag, 1999.","DOI":"10.1007\/978-3-540-48085-3_6"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"Torsten Fahle, Stefan Schamberger, and Meinolf Sellman. Symmetry breaking. In Toby Walsh, editor, Principles and Practice of Constraint Programming-CP2001, pages 93\u2013107. Springer-Verlag, 2001.","DOI":"10.1007\/3-540-45578-7_7"},{"key":"29_CR3","first-page":"148","volume-title":"Knowledge Representation\u201996: Principles of Knowledge Representation and Reasoning","author":"J. Crawford","year":"1996","unstructured":"James Crawford, Matthew Ginsberg, Eugene Luks, and Amitabha Roy. Symmetry-breaking predicates for search problems. In Knowledge Representation\u201996: Principles of Knowledge Representation and Reasoning, pages 148\u2013159. Morgan Kaufmann, San Francisco, California, 1996."},{"issue":"1-2","key":"29_CR4","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/S0004-3702(01)00104-7","volume":"129","author":"P. Meseguer","year":"2001","unstructured":"Pedro Meseguer and Carme Torras. Exploiting symmetries within constraint satisfaction search. In Artificial Intelligence, Vol 129, No. 1-2, pages 133\u2013163. 2001.","journal-title":"Artificial Intelligence"},{"key":"29_CR5","unstructured":"Ian Gent and Barbara Smith. Symmetry breaking in constraint programming. In W. Horn, editor, Proceedings of ECAI-2000, pages 599\u2013603. IOS Press, 2000."},{"key":"29_CR6","doi-asserted-by":"crossref","unstructured":"Filippo Focacci and Michaela Milano. Global cut framework for removing symmetries. In Toby Walsh, editor, Principles and Practice of Constraint Programming-CP2001, pages 77\u201392. Springer-Verlag, 2001.","DOI":"10.1007\/3-540-45578-7_6"},{"key":"29_CR7","unstructured":"Warwick Harvey. Symmetry breaking and the social golfer problem. In Piere Flener and Justin Pearson, editors, SymCon\u201901: Symmetry in Constraints, pages 9\u201316, 2001. Available from \n                    http:\/\/www.csd.uu.se\/~pierref\/astra\/symmetry\/index.html\n                    \n                  ."},{"key":"29_CR8","unstructured":"Iain McDonald. Unique symmetry breaking in CSPs using group theory. In Piere Flener and Justin Pearson, editors, SymCon\u201901: Symmetry in Constraints, pages 75\u201378, 2001. Available from \n                    http:\/\/www.csd.uu.se\/~pierref\/astra\/symmetry\/index.html\n                    \n                  ."},{"key":"29_CR9","unstructured":"Cynthia Brown, Larry Finkelstein, and Paul Purdom Jr. Backtrack searching in the presence of symmetry. In Nordic Journal of Computing, pages 203\u2013219. Publishing Association Nordic Journal of Computing, 1996."},{"key":"29_CR10","unstructured":"Barbara Smith. Reducing symmetry in a combinatorial design problem. Technical Report Research Report 2001.01, University of Leeds, January 2001."},{"key":"29_CR11","unstructured":"Ian Gent, Steve Linton, and Barbara Smith. Symmetry breaking in the alien tiles puzzle. Technical Report APES-22-2000, APES Research Group, October 2000. Available from \n                    http:\/\/www.dcs.st-and.ac.uk\/~apes\/apesreports.html\n                    \n                  ."},{"key":"29_CR12","unstructured":"The GAP Group, Aachen, St Andrews. GAP-Groups, Algorithms, and Programming, Version 4.2, 2000."}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming - CP 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46135-3_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,24]],"date-time":"2019-01-24T02:52:45Z","timestamp":1548298365000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46135-3_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441205","9783540461357"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-46135-3_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002]]}}}