{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,28]],"date-time":"2025-06-28T08:40:02Z","timestamp":1751100002508,"version":"3.41.0"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031959721","type":"print"},{"value":"9783031959738","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-95973-8_10","type":"book-chapter","created":{"date-parts":[[2025,6,28]],"date-time":"2025-06-28T08:01:11Z","timestamp":1751097671000},"page":"152-168","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Breaking the\u00a0Symmetries of\u00a0Indistinguishable Objects"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9519-938X","authenticated-orcid":false,"given":"\u00d6zg\u00fcr","family":"Akg\u00fcn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2428-6130","authenticated-orcid":false,"given":"Mun See","family":"Chang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5604-7006","authenticated-orcid":false,"given":"Ian P.","family":"Gent","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2979-5989","authenticated-orcid":false,"given":"Christopher","family":"Jefferson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,6,29]]},"reference":[{"key":"10_CR1","unstructured":"Akg\u00fcn, \u00d6.: CSPLib problem 116: Vellino\u2019s problem. http:\/\/www.csplib.org\/Problems\/prob116"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Akg\u00fcn, \u00d6., Frisch, A.M., Gent, I.P., Jefferson, C., Miguel, I., Nightingale, P.: Conjure: automatic generation of constraint models from problem specifications. Artif. Intell. 310 (2022)","DOI":"10.1016\/j.artint.2022.103751"},{"issue":"335","key":"10_CR3","first-page":"1469","volume":"91","author":"\u00d6 Akg\u00fcn","year":"2022","unstructured":"Akg\u00fcn, \u00d6., Mereb, M., Vendramin, L.: Enumeration of set-theoretic solutions to the Yang-Baxter equation. Math. Comput. 91(335), 1469\u20131481 (2022)","journal-title":"Math. Comput."},{"key":"10_CR4","unstructured":"Anders, M., Brenner, S., Rattan, G.: The complexity of symmetry breaking beyond lex-leader. In: Principles and Practice of Constraint Programming (2024)"},{"key":"10_CR5","unstructured":"Bakewell, A., Frisch, A.M., Miguel, I.: Towards automatic modelling of constraint satisfaction problems: a system based on compositional refinement. In: International Workshop on Modelling and Reformulating CSPs (2003)"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Baxter, N., Chu, G., Stuckey, P.J.: Symmetry declarations for minizinc. In: Proceedings of the Australasian Computer Science Week Multiconference, pp. 1\u201310 (2016)","DOI":"10.1145\/2843043.2843058"},{"key":"10_CR7","unstructured":"Crawford, J., Ginsberg, M., Luks, E., Roy, A.: Symmetry-breaking predicates for search problems. In: Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning, vol.\u00a096, pp. 148\u2013159 (1996)"},{"key":"10_CR8","doi-asserted-by":"publisher","first-page":"883","DOI":"10.1007\/978-3-642-33558-7_63","volume-title":"Principles and Practice of Constraint Programming","author":"A Distler","year":"2012","unstructured":"Distler, A., Jefferson, C., Kelsey, T., Kotthoff, L.: The semigroups of order 10. In: Milano, M. (ed.) Principles and Practice of Constraint Programming, pp. 883\u2013899. Springer, Heidelberg (2012)"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Flener, P., et al.: Breaking row and column symmetries in matrix models. In: Principles and Practice of Constraint Programming, pp. 462\u2013477. Springer (2002)","DOI":"10.1007\/3-540-46135-3_31"},{"key":"10_CR10","unstructured":"Freuder, E.C.: Eliminating interchangeable values in constraint satisfaction problems. In: Proceedings of the Ninth National Conference on Artificial Intelligence, pp. 227\u2013233 (1991)"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Frisch, A.M., Hnich, B., Kiziltan, Z., Miguel, I., Walsh, T.: Global constraints for lexicographic orderings. In: Principles and Practice of Constraint Programming, pp. 93\u2013108. Springer (2002)","DOI":"10.1007\/3-540-46135-3_7"},{"key":"10_CR12","unstructured":"Frisch, A.M., Miguel, I., Kiziltan, Z., Hnich, B., Walsh, T.: Multiset ordering constraints. In: International Joint Conferences on Artificial Intelligence, vol.\u00a03, pp. 221\u2013226 (2003)"},{"key":"10_CR13","doi-asserted-by":"publisher","unstructured":"Gent, I.P., Petrie, K.E., Puget, J.F.: Symmetry in constraint programming. In: Rossi, F., van Beek, P., Walsh, T. (eds.) Handbook of Constraint Programming, Foundations of Artificial Intelligence, Chap. 10, vol.\u00a02, pp. 329\u2013376. Elsevier (2006). https:\/\/doi.org\/10.1016\/S1574-6526(06)80014-3","DOI":"10.1016\/S1574-6526(06)80014-3"},{"key":"10_CR14","unstructured":"Harvey, W.: CSPLib problem 010: Social golfers problem. http:\/\/www.csplib.org\/Problems\/prob010"},{"key":"10_CR15","unstructured":"Kiziltan, Z., Hnich, B.: CSPLib problem 031: Rack configuration problem. http:\/\/www.csplib.org\/Problems\/prob031"},{"key":"10_CR16","unstructured":"Kiziltan, Z., Walsh, T.: Constraint programming with multisets. In: International Workshop on Symmetry in Constraint Satisfaction Problems, pp. 9\u201320 (2002)"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Margot, F.: Symmetry in integer linear programming. In: 50 Years of Integer Programming 1958-2008: From the Early Years to the State-of-the-Art, pp. 647\u2013686 (2009)","DOI":"10.1007\/978-3-540-68279-0_17"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Mears, C., Niven, T., Jackson, M., Wallace, M.: Proving symmetries by model transformation. In: Principles and Practice of Constraint Programming, pp. 591\u2013605. Springer (2011)","DOI":"10.1007\/978-3-642-23786-7_45"},{"key":"10_CR19","unstructured":"OEIS Foundation Inc.: The number of non-degenerate involutive set-theoretic solutions of the Yang-Baxter equation of order n up to isomorphism, Entry A290887 in The On-Line Encyclopedia of Integer Sequences (2025). http:\/\/oeis.org\/A290887"},{"key":"10_CR20","unstructured":"OEIS Foundation Inc.: Number of nonisomorphic semigroups of order n, Entry A027851 in The On-Line Encyclopedia of Integer Sequences (2025). http:\/\/oeis.org\/A027851"},{"key":"10_CR21","unstructured":"Poole, D.: First-order probabilistic inference. In: International Joint Conference on Artificial Intelligence, pp. 985\u2013991. Morgan Kaufmann Publishers Inc. (2003)"},{"key":"10_CR22","unstructured":"Prestwich, S.: CSPLib problem 028: Balanced incomplete block designs. http:\/\/www.csplib.org\/Problems\/prob028"},{"key":"10_CR23","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 (1998)"},{"key":"10_CR24","doi-asserted-by":"publisher","first-page":"478","DOI":"10.1007\/s10601-008-9060-1","volume":"14","author":"A Sabharwal","year":"2009","unstructured":"Sabharwal, A.: SymChaff: exploiting symmetry in a structure-aware satisfiability solver. Constraints 14, 478\u2013505 (2009)","journal-title":"Constraints"},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"Sakallah, K.A.: Symmetry and satisfiability. In: Biere, A., Heule, M., van Maaren, H. (eds.) Handbook of Satisfiability: Second Edition. Frontiers in Artificial Intelligence and Applications, Chap. 13. IOS Press (2021)","DOI":"10.3233\/FAIA200996"},{"key":"10_CR26","unstructured":"Selensky, E.: CSPLib problem 045: The covering array problem. http:\/\/www.csplib.org\/Problems\/prob045"},{"key":"10_CR27","unstructured":"Smith, B.: CSPLib problem 002: template design. http:\/\/www.csplib.org\/Problems\/prob002"},{"key":"10_CR28","unstructured":"Walsh, T.: CSPLib problem 025: Lam\u2019s problem. http:\/\/www.csplib.org\/Problems\/prob025"},{"key":"10_CR29","unstructured":"Walsh, T.: CSPLib problem 026: sports tournament scheduling. http:\/\/www.csplib.org\/Problems\/prob026"},{"key":"10_CR30","unstructured":"\u00d6hrman, H.: Breaking symmetries in matrix models. MSc thesis, Department of Information Technology, Uppsala University (2005)"}],"container-title":["Lecture Notes in Computer Science","Integration of Constraint Programming, Artificial Intelligence, and Operations Research"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-95973-8_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,28]],"date-time":"2025-06-28T08:01:16Z","timestamp":1751097676000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-95973-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031959721","9783031959738"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-95973-8_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"29 June 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests to declare that\u00a0are relevant to the content of this article.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"value":"CPAIOR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Melbourne, VIC","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Australia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 November 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 November 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cpaior2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sites.google.com\/view\/cpaior2025","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}