{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T02:46:24Z","timestamp":1764557184743},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540681540"},{"type":"electronic","value":"9783540681557"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-68155-7_14","type":"book-chapter","created":{"date-parts":[[2008,5,19]],"date-time":"2008-05-19T05:41:20Z","timestamp":1211175680000},"page":"158-172","source":"Crossref","is-referenced-by-count":8,"title":["A Novel Approach For Detecting Symmetries in CSP Models"],"prefix":"10.1007","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":"Mark","family":"Wallace","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bart","family":"Demoen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/11564751_5","volume-title":"Principles and Practice of Constraint Programming - CP 2005","author":"D. Cohen","year":"2005","unstructured":"Cohen, D., Jeavons, P., Jefferson, C., Petrie, K.E., Smith, B.M.: Symmetry Definitions for Constraint Satisfaction Problems. In: van Beek, P. (ed.) CP 2005. LNCS, vol.\u00a03709, pp. 17\u201331. Springer, Heidelberg (2005)"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Darga, P.T., Liffiton, M.H., Sakallah, K.A., Markov, I.L.: Exploiting Structure in Symmetry Generation for CNF. In: 41st Design Automation Conference, pp. 530\u2013534 (2004)","DOI":"10.1145\/996566.996712"},{"key":"14_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/3-540-36607-5_2","volume-title":"Recent Advances in Constraints","author":"A.M. Frisch","year":"2003","unstructured":"Frisch, A.M., Miguel, I., Walsh, T.: CGRASS: A System for Transforming Constraint Satisfaction Problems. In: O\u2019Sullivan, B. (ed.) CologNet 2002. LNCS (LNAI), vol.\u00a02627, pp. 15\u201330. Springer, Heidelberg (2003)"},{"key":"14_CR4","unstructured":"The GAP\u00a0Group. GAP \u2013 Groups, Algorithms, and Programming, Version 4.4.9 (2006)"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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":"14_CR6","unstructured":"Gent, I.P., Smith, B.M.: Symmetry Breaking in Constraint Programming. In: ECAI 2000. 14th European Conference on Artificial Intelligence (2000)"},{"key":"14_CR7","unstructured":"Haselb\u00f6ck, A.: Exploiting Interchangeabilities in Constraint-Satisfaction Problems. In: IJCAI 1993, pp. 282\u2013289 (1993)"},{"key":"14_CR8","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Abstraction, Reformulation and Approximation","author":"T. Mancini","year":"2005","unstructured":"Mancini, T., Cadoli, M.: Detecting and Breaking Symmetries by Reasoning on Problem Specifications. In: Zucker, J.-D., Saitta, L. (eds.) SARA 2005. LNCS (LNAI), vol.\u00a03607, Springer, Heidelberg (2005)"},{"key":"14_CR9","unstructured":"Mears, C., de la Banda, M.G., Wallace, M.: On Implementing Symmetry Detection. In: SymCon 2006 (2006)"},{"key":"14_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1007\/3-540-46135-3_30","volume-title":"Principles and Practice of Constraint Programming - CP 2002","author":"J.-F. Puget","year":"2002","unstructured":"Puget, J.-F.: Symmetry Breaking Revisited. In: Van Hentenryck, P. (ed.) CP 2002. LNCS, vol.\u00a02470, pp. 446\u2013461. Springer, Heidelberg (2002)"},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1007\/11564751_36","volume-title":"Principles and Practice of Constraint Programming - CP 2005","author":"J.-F. Puget","year":"2005","unstructured":"Puget, J.-F.: Automatic Detection of Variable and Value Symmetries. In: van Beek, P. (ed.) CP 2005. LNCS, vol.\u00a03709, pp. 475\u2013489. Springer, Heidelberg (2005)"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","first-page":"98","volume-title":"Euro-Par 2004 Parallel Processing","author":"A. Romani","year":"2004","unstructured":"Romani, A., Markov, I.L.: Automatically Exploiting Symmetries in Constraint Programming. In: Danelutto, M., Vanneschi, M., Laforenza, D. (eds.) Euro-Par 2004. LNCS, vol.\u00a03149, pp. 98\u2013112. Springer, Heidelberg (2004)"},{"key":"14_CR13","unstructured":"Roney-Dougal, C.M., Gent, I.P., Kelsey, T., Linton, S.: Tractable Symmetry Breaking using Restricted Search Trees. In: ECAI 2004 (2004)"},{"key":"14_CR14","unstructured":"Roy, P., Pachet, F.: Using Symmetry of Global Constraints to Speed Up the Resolution of Constraint Satisfaction Problems. In: ECAI 1998 Workshop on Non-binary Constraints, pp. 27\u201333 (1998)"},{"key":"14_CR15","unstructured":"Sellmann, M., Van Hentenryck, P.: Structural Symmetry Breaking. In: IJCAI 2005 (2005)"},{"key":"14_CR16","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Abstraction, Reformulation and Approximation","author":"P. Hentenryck Van","year":"2005","unstructured":"Van Hentenryck, P., Flener, P., Pearson, J., \u00c5gren, M.: Compositional Derivation of Symmetries for Constraint Satisfaction. In: Zucker, J.-D., Saitta, L. (eds.) SARA 2005. LNCS (LNAI), vol.\u00a03607, Springer, Heidelberg (2005)"},{"key":"14_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11889205_46","volume-title":"Principles and Practice of Constraint Programming - CP 2006","author":"T. Walsh","year":"2006","unstructured":"Walsh, T.: General Symmetry Breaking Constraints. In: Benhamou, F. (ed.) CP 2006. LNCS, vol.\u00a04204, Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68155-7_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T00:38:24Z","timestamp":1620002304000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68155-7_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540681540","9783540681557"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68155-7_14","relation":{},"subject":[]}}