{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:03:46Z","timestamp":1725483826252},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441205"},{"type":"electronic","value":"9783540461357"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46135-3_30","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T01:59:47Z","timestamp":1179194387000},"page":"446-461","source":"Crossref","is-referenced-by-count":23,"title":["Symmetry Breaking Revisited"],"prefix":"10.1007","author":[{"given":"Jean-Fran\u00e7ois","family":"Puget","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,2]]},"reference":[{"key":"30_CR1","doi-asserted-by":"crossref","unstructured":"Backofen, R., Will, S.: Excluding Symmetries in Constraint Based Search. Proceedings of CP\u201999 (1999).","DOI":"10.1007\/978-3-540-48085-3_6"},{"key":"30_CR2","unstructured":"Benhamou, B.: Study of Symmetries in Constraint Satisfaction Problems. Proceedings of PPCP\u201994 (1994)."},{"key":"30_CR3","unstructured":"Gent, I. P., Walsh, T., Sellmann, B.: CSPlib http:\/\/www-users.cs.york.ac.uk\/~tw\/csplib\/ ."},{"key":"30_CR4","doi-asserted-by":"crossref","unstructured":"Fahle, T., Shamberger, S., Sellmann, M.: Symmetry Breaking. Proceedings of CP01 (2001) 93\u2013107.","DOI":"10.1007\/3-540-45578-7_7"},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"Focacci, F., Milano, M.: Global Cut Framework for Removing Symmetries. Proceedings of CP01 (2001) 75\u201392.","DOI":"10.1007\/3-540-45578-7_6"},{"key":"30_CR6","unstructured":"Gent, I.P., and Harvey, W., and Kelsey, T.: Groups and Constraints: Symmetry Breaking During Search, Technical report APES-48-2002, APES Research Group (2002)."},{"key":"30_CR7","unstructured":"Gent, I.P., and Linton, S.A., and Smith, B.M.: Symmetry Breaking in the Alien Tiles Puzzle, Technical report APES-22-2000, APES Research Group (1999)."},{"key":"30_CR8","unstructured":"Gent, I.P., and Smith, B.M.: Symmetry Breaking During Search in Constraint Programming. Proceedings ECAI\u20192000, pp. 599\u2013603."},{"key":"30_CR9","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/BF00137870","volume":"1","author":"C. Gervet","year":"1997","unstructured":"Gervet, C.: Interval Propagation to Reason about Sets: Definition and Implementation of a practical language. Constraints, An International Journal, (1997), vol 1. 191\u2013246.","journal-title":"Constraints, An International Journal"},{"key":"30_CR10","unstructured":"Harvey, W.: Symmetry Breaking and the Social Golfer Problem CP01 Workshop on Symmetries (2001)."},{"key":"30_CR11","unstructured":"McDonald, I., Smith, B.: Partial Symmetry Breaking, Technical report APES-49-2002, APES Research Group (2002)."},{"key":"30_CR12","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/S0004-3702(01)00104-7","volume":"129","author":"P. Meseguer","year":"1999","unstructured":"Meseguer, P., Torras, C.: Exploiting Symmetries Within Constraint Satisfaction Search. Art.Intell. 129 (1999) 133\u2013163.","journal-title":"Art.Intell."},{"key":"30_CR13","doi-asserted-by":"crossref","unstructured":"Puget, J.-F.: On the Satisfiability of Symmetrical Constraint Satisfaction Problems. Proceedings of ISMIS\u201993 (1993), 350\u2013361.","DOI":"10.1007\/3-540-56804-2_33"},{"key":"30_CR14","unstructured":"Puget, J.F.: Finite Set Intervals. Workshop on Set Constraints, CP\u201996, (1996)."},{"key":"30_CR15","unstructured":"Rothberg, E.: Using cuts to remove symmetry. In proceedings of ISMP 2000, Atlanta."},{"key":"30_CR16","unstructured":"Roy, P., Pachet, F.: Using Symmetry of Global Constraints to Speed Up the Resolution of Constraint Satisfaction Problems. Proceedings of ECAI\u201998 workshop on Non Binary Constraints (1998) 27\u201333."},{"key":"30_CR17","unstructured":"Sellmann, M., Harvey, W.: Heuristic Constraint Propagation Proceedings of CPAIOR\u201902 workshop (2002) 191\u2013204."},{"key":"30_CR18","unstructured":"Smith, B.M.: Reducing Symmetry in a Combinatorial Design Problem Research Report 2001.01, January 2001. Presented at the CP-AI-OR Workshop, April 2001."}],"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_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T20:25:22Z","timestamp":1556396722000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46135-3_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441205","9783540461357"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-46135-3_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2002]]}}}