{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T17:32:00Z","timestamp":1764783120478},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2009,5,1]],"date-time":"2009-05-01T00:00:00Z","timestamp":1241136000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2009,5]]},"DOI":"10.1007\/s10472-009-9140-y","type":"journal-article","created":{"date-parts":[[2009,7,3]],"date-time":"2009-07-03T02:54:29Z","timestamp":1246589669000},"page":"3-21","source":"Crossref","is-referenced-by-count":21,"title":["The monoids of orders eight, nine & ten"],"prefix":"10.1007","volume":"56","author":[{"given":"Andreas","family":"Distler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom","family":"Kelsey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,7,4]]},"reference":[{"key":"9140_CR1","unstructured":"Sloane, N.J.A.: The on-line encyclopedia of integer sequences. http:\/\/www.research.att.com\/~njas\/sequences\/Seis.html (2008)"},{"key":"9140_CR2","series-title":"Lecture Notes in Artificial Intelligence","first-page":"61","volume-title":"Intelligent Computer Mathematics, 9th International Conference, AISC 2008, Proceedings","author":"A Distler","year":"2008","unstructured":"Distler, A., Kelsey, T.: The monoids of order eight and nine. In: Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M., Wiedijk, F. (eds.) Intelligent Computer Mathematics, 9th International Conference, AISC 2008, Proceedings. Lecture Notes in Artificial Intelligence, vol. 5144, pp. 61\u201376. Springer, New York (2008)"},{"key":"9140_CR3","unstructured":"The GAP\u00a0Group: GAP\u2014Groups, Algorithms, and Programming, version 4.4.10 (2007)"},{"key":"9140_CR4","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1145\/1005285.1005319","volume-title":"ISSAC \u201904: Proceedings of the 2004 International Symposium on Symbolic and Algebraic Computation","author":"S Linton","year":"2004","unstructured":"Linton, S.: Finding the smallest image of a set. In: ISSAC \u201904: Proceedings of the 2004 International Symposium on Symbolic and Algebraic Computation, pp. 229\u2013234. ACM, New York (2004)"},{"key":"9140_CR5","first-page":"98","volume-title":"ECAI","author":"IP 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.) ECAI, pp. 98\u2013102. IOS, Amsterdam (2006)"},{"issue":"2\u20133","key":"9140_CR6","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/s10601-006-8059-8","volume":"11","author":"DA Cohen","year":"2006","unstructured":"Cohen, D.A., Jeavons, P., Jefferson, C., Petrie, K.E., Smith, B.M.: Symmetry definitions for constraint satisfaction problems. Constraints 11(2\u20133), 115\u2013137 (2006)","journal-title":"Constraints"},{"key":"9140_CR7","unstructured":"Crawford, J.M., Ginsberg, M.L., Luks, E.M., Roy, A.: Symmetry-breaking predicates for search problems. In: Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, pp. 148\u2013159 (1996)"},{"key":"9140_CR8","volume-title":"Semigroups: An Introduction to the Structure Theory","author":"P Grillet","year":"1995","unstructured":"Grillet, P.: Semigroups: An Introduction to the Structure Theory. Marcel Dekker, New York (1995)"},{"key":"9140_CR9","first-page":"2","volume":"2","author":"RJ Plemmons","year":"1967","unstructured":"Plemmons, R.J.: There are 15973 semigroups of order 6. Math. Algorithms 2, 2\u201317 (1967)","journal-title":"Math. Algorithms"},{"key":"9140_CR10","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/BF02573467","volume":"49","author":"S Satoh","year":"1994","unstructured":"Satoh, S., Yama, K., Tokizawa, M.: Semigroups of order 8. Semigroup Forum 49, 7\u201329 (1994)","journal-title":"Semigroup Forum"},{"key":"9140_CR11","volume-title":"Graphical Enumeration","author":"F Harary","year":"1973","unstructured":"Harary, F., Palmer, E.M.: Graphical Enumeration. Academic, New York (1973)"},{"key":"9140_CR12","unstructured":"Distler, A., Mitchell, J.D.: smallsemi \u2013 a GAP package. http:\/\/turnbull.mcs.st-and.ac.uk\/~jamesm\/smallsemi\/ (2008)"},{"key":"9140_CR13","doi-asserted-by":"crossref","unstructured":"Jefferson, C., Kelsey, T., Linton, S., Petrie, K.: Gaplex: generalised static symmetry breaking. In: Benhamou, F., Jussien, N., O\u2019Sullivan, B. (eds.) Trends in Constraint Programming. ISTE, pp. 191\u2013205 (2007)","DOI":"10.1002\/9780470612309.ch9"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-009-9140-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-009-9140-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-009-9140-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T13:58:13Z","timestamp":1559138293000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-009-9140-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,5]]},"references-count":13,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,5]]}},"alternative-id":["9140"],"URL":"https:\/\/doi.org\/10.1007\/s10472-009-9140-y","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,5]]}}}