{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T14:00:24Z","timestamp":1776866424522,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642237850","type":"print"},{"value":"9783642237867","type":"electronic"}],"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_55","type":"book-chapter","created":{"date-parts":[[2011,8,31]],"date-time":"2011-08-31T07:58:42Z","timestamp":1314777522000},"page":"729-743","source":"Crossref","is-referenced-by-count":3,"title":["Automatic Generation of Constraints for Partial Symmetry Breaking"],"prefix":"10.1007","author":[{"given":"Christopher","family":"Jefferson","sequence":"first","affiliation":[]},{"given":"Karen E.","family":"Petrie","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"55_CR1","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":"55_CR2","unstructured":"Demoen, B., de la Banda, M.G., Mears, C., Wallace, M.: A novel approach for detecting symmetries in csp models. In: Proc. of The Seventh Intl. Workshop on Symmetry and Constraint Satisfaction Problems (2007)"},{"key":"55_CR3","first-page":"98","volume-title":"Conf. ECAI 2006","author":"I.P. Gent","year":"2006","unstructured":"Gent, I.P., Jefferson, C., Miguel, I.: Minion: A fast scalable constraint solver. In: Brewka, G., Coradeschi, S., Perini, A., Traverso, P. (eds.) Conf. ECAI 2006, pp. 98\u2013102. IOS Press, Amsterdam (2006)"},{"key":"55_CR4","first-page":"599","volume-title":"Proceedings of the 14th European Conference on Artificial Intelligence, ECAI 2000","author":"I.P. Gent","year":"2000","unstructured":"Gent, I.P., Smith, B.M.: Symmetry breaking in constraint programming. In: Proceedings of the 14th European Conference on Artificial Intelligence, ECAI 2000, Berlin, Germany, August 20-25, pp. 599\u2013603. IOS Press, Amsterdam (2000)"},{"key":"55_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1007\/978-3-540-48085-3_9","volume-title":"Principles and Practice of Constraint Programming \u2013 CP\u201999","author":"M. Bj\u00e4reland","year":"1999","unstructured":"Bj\u00e4reland, M., Jonsson, P.: Exploiting bipartiteness to identify yet another tractable subclass of CSP. In: Jaffar, J. (ed.) CP 1999. LNCS, vol.\u00a01713, pp. 118\u2013128. Springer, Heidelberg (1999)"},{"key":"55_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/3-540-46135-3_29","volume-title":"Principles and Practice of Constraint Programming - CP 2002","author":"I. McDonald","year":"2002","unstructured":"McDonald, I., Smith, B.: Partial symmetry breaking. In: Van Hentenryck, P. (ed.) CP 2002. LNCS, vol.\u00a02470, pp. 431\u2013445. Springer, Heidelberg (2002)"},{"key":"55_CR7","unstructured":"Gecode Team: Gecode: Generic constraint development environment (2006), http:\/\/www.gecode.org"},{"key":"55_CR8","unstructured":"Crawford, J., Ginsberg, M., Luks, E., Roy, A.: Symmetry-breaking predicates for search problems. In: Proc. of the Intl. Conference Principles of Knowledge Representation and Reasoning, pp. 148\u2013159 (1996)"},{"key":"55_CR9","first-page":"272","volume-title":"Proceedings of the 19th International Joint Conference on Artificial Intelligence","author":"J.F. Puget","year":"2005","unstructured":"Puget, J.F.: Breaking symmetries in all different problems. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence, pp. 272\u2013277. Morgan Kaufmann Publishers Inc., San Francisco (2005)"},{"key":"55_CR10","unstructured":"Smith, B.M.: Sets of symmetry breaking constraints. In: Proc. Symcon, Agaoka (2005)"},{"key":"55_CR11","unstructured":"McKay, B.: Practical graph isomorphism. In: Numerical Mathematics and Computing, Proc.\u00a010th Manitoba Conf., Winnipeg\/Manitoba 1980, Congr. Numerantium, vol.\u00a030, pp. 45\u201387 (1981), http:\/\/cs.anu.edu.au\/people\/bdm\/nauty"},{"key":"55_CR12","unstructured":"Aloul, F.A., Sakallah, K.A., Markov, I.L.: Efficient symmetry breaking for boolean satisfiability. IEEE Transactions on Computers, 271\u2013276 (2003)"},{"key":"55_CR13","doi-asserted-by":"crossref","unstructured":"Aloul, F., Ramani, A., Markov, I., Sakallah, K.: Solving difficult sat instances in the presence of symmetries. In: Proceedings of the Design Automation Conference, pp. 731\u2013736 (2002)","DOI":"10.1145\/513918.514102"},{"key":"55_CR14","unstructured":"Katsirelos, G., Narodytska, N., Walsh, T.: Breaking generator symmetry. In: The Ninth International Workshop on Symmetry and Constraint Satisfaction Problems (2009)"},{"key":"55_CR15","doi-asserted-by":"crossref","unstructured":"Flener, P., Frisch, A.M., Hnich, B., Kiziltan, Z., Miguel, I., Pearson, J., Walsh, T.: Breaking row and column symmetries in matrix models (2002)","DOI":"10.1007\/3-540-46135-3_31"},{"key":"55_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-642-15396-9_26","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2010","author":"G. Katsirelos","year":"2010","unstructured":"Katsirelos, G., Narodytska, N., Walsh, T.: On the complexity and completeness of static constraints for breaking row and column symmetry. In: Cohen, D. (ed.) CP 2010. LNCS, vol.\u00a06308, pp. 305\u2013320. Springer, Heidelberg (2010)"},{"key":"55_CR17","first-page":"71","volume":"7","author":"M. Jerrum","year":"2002","unstructured":"Jerrum, M.: A compact presentation for permutation groups. J. Algorithms\u00a07, 71\u201390 (2002)","journal-title":"J. Algorithms"},{"key":"55_CR18","series-title":"Cambridge tracts in mathematics","volume-title":"Permutation group algorithms","author":"A. Seress","year":"2002","unstructured":"Seress, A.: Permutation group algorithms. Cambridge tracts in mathematics, vol.\u00a0(152). Cambridge University Press, Cambridge (2002)"},{"key":"55_CR19","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1007\/s10601-008-9057-9","volume":"14","author":"C. Mears","year":"2009","unstructured":"Mears, C., De La Banda, M.G., Wallace, M.: On implementing symmetry detection. Constraints\u00a014, 443\u2013477 (2009)","journal-title":"Constraints"},{"key":"55_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"930","DOI":"10.1007\/978-3-540-45193-8_81","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"K.E. Petrie","year":"2003","unstructured":"Petrie, K.E., Smith, B.M.: Symmetry breaking in graceful graphs. In: Rossi, F. (ed.) CP 2003. LNCS, vol.\u00a02833, pp. 930\u2013934. Springer, Heidelberg (2003)"},{"key":"55_CR21","unstructured":"Meseguer, P., Torras, C.: Solving strategies for highly symmetric csps. In: IJCAI (1999)"}],"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_55","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,14]],"date-time":"2019-06-14T16:37:27Z","timestamp":1560530247000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23786-7_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642237850","9783642237867"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23786-7_55","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}