{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,28]],"date-time":"2025-06-28T08:22:01Z","timestamp":1751098921003},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642237850"},{"type":"electronic","value":"9783642237867"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23786-7_45","type":"book-chapter","created":{"date-parts":[[2011,8,31]],"date-time":"2011-08-31T03:58:42Z","timestamp":1314763122000},"page":"591-605","source":"Crossref","is-referenced-by-count":6,"title":["Proving Symmetries by Model Transformation"],"prefix":"10.1007","author":[{"given":"Christopher","family":"Mears","sequence":"first","affiliation":[]},{"given":"Todd","family":"Niven","sequence":"additional","affiliation":[]},{"given":"Marcel","family":"Jackson","sequence":"additional","affiliation":[]},{"given":"Mark","family":"Wallace","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"45_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., Smith, B.: Symmetry definitions for constraint satisfaction problems. In: van Beek, P. (ed.) CP 2005. LNCS, vol.\u00a03709, pp. 17\u201331. Springer, Heidelberg (2005)"},{"key":"45_CR2","volume-title":"A Mathematical Introduction to Logic","author":"H. Enderton","year":"2001","unstructured":"Enderton, H.: A Mathematical Introduction to Logic, 2nd edn. Academic Press, Inc., London (2001)","edition":"2"},{"key":"45_CR3","unstructured":"Flener, P., Frisch, A.M., Hnich, B., Kiziltan, Z., Miguel, I., Walsh, T.: Matrix modelling. In: Proc. Formul 2001, CP 2001 Workshop on Modelling and Problem Formulation (2001)"},{"key":"45_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/3-540-46135-3_31","volume-title":"Principles and Practice of Constraint Programming - CP 2002","author":"P. Flener","year":"2002","unstructured":"Flener, P., Frisch, A., Hnich, B., Kiziltan, Z., Miguel, I., Pearson, J., Walsh, T.: Breaking row and column symmetries in matrix models. In: Van Hentenryck, P. (ed.) CP 2002. LNCS, vol.\u00a02470, pp. 187\u2013192. Springer, Heidelberg (2002)"},{"key":"45_CR5","doi-asserted-by":"crossref","unstructured":"Harel, D.: Effective transformations on infinite trees with applications to high undecidability, dominoes and fairness. J. ACM, 224\u2013248 (1986)","DOI":"10.1145\/4904.4993"},{"key":"45_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/11527862_12","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, pp. 165\u2013181. Springer, Heidelberg (2005)"},{"key":"45_CR7","unstructured":"Mears, C.: Automatic Symmetry Detection and Dynamic Symmetry Breaking for Constraint Programming. Ph.D. thesis, Monash University (2009)"},{"key":"45_CR8","doi-asserted-by":"crossref","unstructured":"Mears, C., Garcia de la Banda, M., Wallace, M.: On implementing symmetry detection. Constraints\u00a014 (2009)","DOI":"10.1007\/s10601-008-9057-9"},{"key":"45_CR9","doi-asserted-by":"crossref","unstructured":"Mears, C., Garcia de la Banda, M., Wallace, M., Demoen, B.: A novel approach for detecting symmetries in CSP models. In: Fifth International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (2008)","DOI":"10.1007\/978-3-540-68155-7_14"},{"key":"45_CR10","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":"45_CR11","doi-asserted-by":"crossref","unstructured":"Pugh, W.: The omega test: a fast and practical integer programming algorithm for dependence analysis. Communications of the ACM, 102\u2013114 (1992)","DOI":"10.1145\/135226.135233"},{"key":"45_CR12","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/BF01418780","volume":"12","author":"R. Robinson","year":"1971","unstructured":"Robinson, R.: Undecidability and nonperiodicity for tilings of the plane. Inventiones Math.\u00a012, 177\u2013209 (1971)","journal-title":"Inventiones Math."},{"key":"45_CR13","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 (1998)"},{"key":"45_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/11527862_17","volume-title":"Abstraction, Reformulation and Approximation","author":"P. Hentenryck Van","year":"2005","unstructured":"Van Hentenryck, P., Flener, P., Pearson, J., Agren, M.: Compositional derivation of symmetries for constraint satisfaction. In: Zucker, J.-D., Saitta, L. (eds.) SARA 2005. LNCS (LNAI), vol.\u00a03607, pp. 234\u2013247. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2013 CP 2011"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23786-7_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T12:26:27Z","timestamp":1554121587000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23786-7_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642237850","9783642237867"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23786-7_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}