{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:30:21Z","timestamp":1725564621380},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642153952"},{"type":"electronic","value":"9783642153969"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15396-9_26","type":"book-chapter","created":{"date-parts":[[2010,9,6]],"date-time":"2010-09-06T07:00:16Z","timestamp":1283756416000},"page":"305-320","source":"Crossref","is-referenced-by-count":12,"title":["On the Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry"],"prefix":"10.1007","author":[{"given":"George","family":"Katsirelos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nina","family":"Narodytska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Toby","family":"Walsh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"462","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 symmetry in matrix models. In: Van Hentenryck, P. (ed.) CP 2002. LNCS, vol.\u00a02470, p. 462. Springer, Heidelberg (2002)"},{"key":"26_CR2","unstructured":"Flener, P., Frisch, A., Hnich, B., Kiziltan, Z., Miguel, I., Walsh, T.: Matrix Modelling. Technical Report APES-36-2001, APES group, Presented at Formul 2001 (Workshop on Modelling and Problem Formulation), CP 2001 post-conference workshop (2001)"},{"key":"26_CR3","unstructured":"Crawford, J., Ginsberg, M., Luks, G., Roy, A.: Symmetry breaking predicates for search problems. In: Proceedings of 5th International Conference on Knowledge Representation and Reasoning (KR 1996), pp. 148\u2013159 (1996)"},{"key":"26_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-642-04244-7_7","volume-title":"Principles and Practice of Constraint Programming - CP 2009","author":"S. Huczynska","year":"2009","unstructured":"Huczynska, S., McKay, P., Miguel, I., Nightingale, P.: Modelling equidistant frequency permutation arrays: An application of constraints to mathematics. In: Gent, I.P. (ed.) CP 2009. LNCS, vol.\u00a05732, pp. 50\u201364. Springer, Heidelberg (2009)"},{"key":"26_CR5","volume-title":"Proceedings of the 19th National Conference on AI","author":"C. Bessiere","year":"2004","unstructured":"Bessiere, C., Hebrard, E., Hnich, B., Walsh, T.: The complexity of global constraints. In: Proceedings of the 19th National Conference on AI. AAAI, Menlo Park (2004)"},{"issue":"2","key":"26_CR6","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/s10601-006-9007-3","volume":"12","author":"C. Bessiere","year":"2007","unstructured":"Bessiere, C., Hebrard, E., Hnich, B., Walsh, T.: The complexity of global constraints. Constraints\u00a012(2), 239\u2013259 (2007)","journal-title":"Constraints"},{"key":"26_CR7","unstructured":"Carlsson, M., Beldiceanu, N.: Arc-consistency for a chain of lexicographic ordering constraints. Technical report T2002-18, Swedish Institute of Computer Science (2002)"},{"key":"26_CR8","unstructured":"Katsirelos, G., Narodytska, N., Walsh, T.: Breaking Generator Symmetry. In: Proceedings of SymCon 2009 - 9th International Workshop on Symmetry and Constraint Satisfaction Problems, Colocated with CP 2009 (2009)"},{"key":"26_CR9","unstructured":"Puget, J.F.: Breaking symmetries in all different problems. In: Proceedings of 19th IJCAI, International Joint Conference on Artificial Intelligence, pp. 272\u2013277 (2005)"},{"key":"26_CR10","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/S1571-0653(04)00311-7","volume":"9","author":"I. Shlyakhter","year":"2001","unstructured":"Shlyakhter, I.: Generating effective symmetry-breaking predicates for search problems. Electronic Notes in Discrete Mathematics\u00a09, 19\u201335 (2001)","journal-title":"Electronic Notes in Discrete Mathematics"},{"key":"26_CR11","unstructured":"Flener, P., Frisch, A., Hnich, B., Kiziltan, Z., Miguel, I., Pearson, J., Walsh, T.: Symmetry in matrix models. Technical Report APES-30-2001, APES group. Presented at SymCon 2001 (Symmetry in Constraints), CP, post-conference workshop (2001)"},{"key":"26_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"880","DOI":"10.1007\/978-3-540-74970-7_67","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2007","author":"T. Walsh","year":"2007","unstructured":"Walsh, T.: Breaking Value Symmetry. In: Bessi\u00e8re, C. (ed.) CP 2007. LNCS, vol.\u00a04741, pp. 880\u2013887. Springer, Heidelberg (2007)"},{"key":"26_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1007\/11564751_37","volume-title":"Principles and Practice of Constraint Programming - CP 2005","author":"J.F. Puget","year":"2005","unstructured":"Puget, J.F.: Breaking all value symmetries in surjection problems. In: van Beek, P. (ed.) CP 2005. LNCS, vol.\u00a03709, pp. 490\u2013504. Springer, Heidelberg (2005)"},{"key":"26_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1007\/978-3-540-30201-8_28","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2004","author":"Y. Law","year":"2004","unstructured":"Law, Y., Lee, J.: Global constraints for integer and set value precedence. In: Wallace, M. (ed.) CP 2004. LNCS, vol.\u00a03258, pp. 362\u2013376. Springer, Heidelberg (2004)"},{"key":"26_CR15","first-page":"168","volume-title":"ECAI 2006","author":"T. Walsh","year":"2006","unstructured":"Walsh, T.: Symmetry breaking using value precedence. In: Brewka, G., Coradeschi, S., Perini, A., Traverso, P. (eds.) ECAI 2006, pp. 168\u2013172. IOS Press, Amsterdam (2006)"},{"key":"26_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/978-3-642-04244-7_32","volume-title":"Principles and Practice of Constraint Programming - CP 2009","author":"A. Grayland","year":"2009","unstructured":"Grayland, A., Miguel, I., Roney-Dougal, C.: Snake lex: An alternative to double lex. In: Gent, I.P. (ed.) CP 2009. LNCS, vol.\u00a05732, pp. 391\u2013399. Springer, Heidelberg (2009)"},{"key":"26_CR17","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/s10601-006-7094-9","volume":"11","author":"B. Hnich","year":"2006","unstructured":"Hnich, B., Prestwich, S., Selensky, E., Smith, B.: Constraint models for the covering test problem. Constraints\u00a011, 199\u2013219 (2006)","journal-title":"Constraints"},{"key":"26_CR18","doi-asserted-by":"publisher","first-page":"854","DOI":"10.1137\/0216057","volume":"16","author":"A. Lubiw","year":"1987","unstructured":"Lubiw, A.: Doubly lexical orderings of matrices. SIAM J. on Computing\u00a016, 854\u2013879 (1987)","journal-title":"SIAM J. on Computing"},{"key":"26_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/978-3-540-45193-8_22","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"A. Frisch","year":"2003","unstructured":"Frisch, A., Jefferson, C., Miguel, I.: Constraints for breaking more row and column symmetries. In: Rossi, F. (ed.) CP 2003. LNCS, vol.\u00a02833, pp. 318\u2013332. Springer, Heidelberg (2003)"},{"key":"26_CR20","unstructured":"Frisch, A., Hnich, B., Kiziltan, Z., Miguel, I., Walsh, T.: Multiset ordering constraints. In: Proceedings of 18th IJCAI, International Joint Conference on Artificial Intelligence (2003)"},{"key":"26_CR21","first-page":"599","volume-title":"Proceedings of ECAI-2000","author":"I. Gent","year":"2000","unstructured":"Gent, I., Smith, B.: Symmetry breaking in constraint programming. In: Horn, W. (ed.) Proceedings of ECAI-2000, pp. 599\u2013603. IOS Press, Amsterdam (2000)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2013 CP 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15396-9_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:53:24Z","timestamp":1619787204000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15396-9_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642153952","9783642153969"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15396-9_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}