{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T13:26:28Z","timestamp":1760707588344},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540292388"},{"type":"electronic","value":"9783540320500"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11564751_5","type":"book-chapter","created":{"date-parts":[[2005,10,18]],"date-time":"2005-10-18T09:31:28Z","timestamp":1129627888000},"page":"17-31","source":"Crossref","is-referenced-by-count":19,"title":["Symmetry Definitions for Constraint Satisfaction Problems"],"prefix":"10.1007","author":[{"given":"David","family":"Cohen","sequence":"first","affiliation":[]},{"given":"Peter","family":"Jeavons","sequence":"additional","affiliation":[]},{"given":"Christopher","family":"Jefferson","sequence":"additional","affiliation":[]},{"given":"Karen E.","family":"Petrie","sequence":"additional","affiliation":[]},{"given":"Barbara M.","family":"Smith","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","first-page":"287","volume-title":"Constraint Logic Programming: Selected Research","author":"A. Aguirre","year":"1992","unstructured":"Aguirre, A.: How to Use Symmetries in Boolean Constraint Solving. In: Benhamou, F., Colmerauer, A. (eds.) Constraint Logic Programming: Selected Research, pp. 287\u2013306. MIT Press, Cambridge (1992)"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/978-3-540-48085-3_6","volume-title":"Principles and Practice of Constraint Programming \u2013 CP\u201999","author":"R. Backofen","year":"1999","unstructured":"Backofen, R., Will, S.: Excluding Symmetries in Constraint-Based Search. In: Jaffar, J. (ed.) CP 1999. LNCS, vol.\u00a01713, pp. 73\u201387. Springer, Heidelberg (1999)"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","first-page":"246","volume-title":"Principles and Practice of Constraint Programming","author":"B. Benhamou","year":"1994","unstructured":"Benhamou, B.: Study of symmetry in constraint satisfaction problems. In: Borning, A. (ed.) PPCP 1994. LNCS, vol.\u00a0874, pp. 246\u2013254. Springer, Heidelberg (1994)"},{"key":"5_CR4","series-title":"LNAI","first-page":"281","volume-title":"Automated Deduction - CADE-11","author":"B. Benhamou","year":"1992","unstructured":"Benhamou, B., Sais, L.: Theoretical study of symmetries in propositional calculus and applications. In: Kapur, D. (ed.) CADE 1992. LNCS (LNAI), vol.\u00a0607, pp. 281\u2013294. Springer, Heidelberg (1992)"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/3-540-51083-4_51","volume-title":"Applied Algebra, Algebraic Algorithms and Error-Correcting Codes","author":"C.A. Brown","year":"1989","unstructured":"Brown, C.A., Finkelstein, L., Purdom, P.W.: Backtrack Searching in the Presence of Symmetry. In: Mora, T. (ed.) AAECC 1988. LNCS, vol.\u00a0357, pp. 99\u2013110. Springer, Heidelberg (1989)"},{"key":"5_CR6","unstructured":"Crawford, J., Ginsberg, M., Luks, E., Roy, A.: Symmetry-Breaking Predicates for Search Problems. In: Proceedings KR 1996, November 1996, pp. 149\u2013159 (1996)"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/3-540-45578-7_7","volume-title":"Principles and Practice of Constraint Programming - CP 2001","author":"T. Fahle","year":"2001","unstructured":"Fahle, T., Schamberger, S., Sellmann, M.: Symmetry Breaking. In: Walsh, T. (ed.) CP 2001. LNCS, vol.\u00a02239, pp. 93\u2013239. Springer, Heidelberg (2001)"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/3-540-45578-7_6","volume-title":"Principles and Practice of Constraint Programming - CP 2001","author":"F. Focacci","year":"2001","unstructured":"Focacci, F., Milano, M.: Global Cut Framework for Removing Symmetries. In: Walsh, T. (ed.) CP 2001. LNCS, vol.\u00a02239, pp. 77\u201392. Springer, Heidelberg (2001)"},{"key":"5_CR9","unstructured":"Freuder, E.C.: Eliminating Interchangeable Values in Constraint Satisfaction Problems. In: Proceedings AAAI 1991, vol.\u00a01, pp. 227\u2013233 (1991)"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/978-3-540-45193-8_23","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"I.P. Gent","year":"2003","unstructured":"Gent, I.P., Harvey, W., Kelsey, T., Linton, S.: Generic SBDD using Computational Group Theory. In: Rossi, F. (ed.) CP 2003. LNCS, vol.\u00a02833, pp. 333\u2013347. Springer, Heidelberg (2003)"},{"key":"5_CR11","unstructured":"Gent, I.P., Smith, B.M.: Symmetry Breaking During Search in Constraint Programming. In: Horn, W. (ed.) Proceedings ECAI 2000, pp. 599\u2013603 (2000)"},{"key":"5_CR12","unstructured":"J\u00e9gou, P.: Decomposition of Domains Based on the Micro-Structure of Finite Constraint-Satisfaction Problems. In: Proceedings AAAI 1993, pp. 731\u2013736 (1993)"},{"key":"5_CR13","first-page":"45","volume":"30","author":"B. McKay","year":"1981","unstructured":"McKay, B.: Practical Graph Isomorphism. Congressus Numerantium\u00a030, 45\u201387 (1981); The software tool NAUTY is available for download from, \n                    \n                      http:\/\/cs.anu.edu.au\/~bdm\/nauty\/+","journal-title":"Congressus Numerantium"},{"key":"5_CR14","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/S0004-3702(01)00104-7","volume":"129","author":"P. Meseguer","year":"2001","unstructured":"Meseguer, P., Torras, C.: Exploiting symmetries within constraint satisfaction search. Artificial Intelligence\u00a0129, 133\u2013163 (2001)","journal-title":"Artificial Intelligence"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1007\/3-540-56804-2_33","volume-title":"Methodologies for Intelligent Systems","author":"J.-F. Puget","year":"1993","unstructured":"Puget, J.-F.: On the Satisfiability of Symmetrical Constrained Satisfaction Problems. In: Komorowski, J., Ra\u015b, Z.W. (eds.) ISMIS 1993. LNCS, vol.\u00a0689, pp. 350\u2013361. Springer, Heidelberg (1993)"},{"key":"5_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/11402763_8","volume-title":"Recent Advances in Constraints","author":"A. Ramani","year":"2005","unstructured":"Ramani, A., Markov, I.L.: Automatically Exploiting Symmetries in Constraint Programming. In: Faltings, B.V., Petcu, A., Fages, F., Rossi, F. (eds.) CSCLP 2004. LNCS (LNAI), vol.\u00a03419, pp. 98\u2013112. Springer, Heidelberg (2005)"},{"key":"5_CR17","unstructured":"Roy, P., Pachet, F.: Using Symmetry of Global Constraints to Speed up the Resolution of Constraint Satisfaction Problems. In: Workshop on Non Binary Constraints, ECAI 1998 (August 1998)"},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/3-540-45349-0_32","volume-title":"Principles and Practice of Constraint Programming - CP 2000","author":"T. Walsh","year":"2000","unstructured":"Walsh, T.: SAT v CSP. In: Dechter, R. (ed.) CP 2000. LNCS, vol.\u00a01894, pp. 441\u2013456. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming - CP 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11564751_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,17]],"date-time":"2019-03-17T10:20:33Z","timestamp":1552818033000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11564751_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540292388","9783540320500"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11564751_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}