{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T10:58:38Z","timestamp":1780743518717,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,6,10]],"date-time":"2024-06-10T00:00:00Z","timestamp":1717977600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"UK Research and Innovation","award":["EP\\\/X033813\\\/1"],"award-info":[{"award-number":["EP\\\/X033813\\\/1"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,6,10]]},"DOI":"10.1145\/3618260.3649609","type":"proceedings-article","created":{"date-parts":[[2024,6,11]],"date-time":"2024-06-11T19:25:02Z","timestamp":1718133902000},"page":"884-891","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Semigroup Algorithmic Problems in Metabelian Groups"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0007-4349-082X","authenticated-orcid":false,"given":"Ruiwen","family":"Dong","sequence":"first","affiliation":[{"name":"Saarland University, Saarbr\u00fccken, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,6,11]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"533","article-title":"Algorithmic unsolvability of problems of recognition of certain properties of groups","volume":"103","author":"Adyan Sergei I.","year":"1955","unstructured":"Sergei I. Adyan. 1955. Algorithmic unsolvability of problems of recognition of certain properties of groups. In Dokl. Akad. Nauk SSSR (N.S.), Vol. 103. 533\u2013535.","journal-title":"Dokl. Akad. Nauk SSSR (N.S.)"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/b137434"},{"key":"e_1_3_2_1_3_1","volume-title":"Luks","author":"Babai L\u00e1szl\u00f3","year":"1996","unstructured":"L\u00e1szl\u00f3 Babai, Robert Beals, Jin-yi Cai, G\u00e1bor Ivanyos, and Eugene M. Luks. 1996. Multiplicative equations over commuting matrices. In Proceedings of the Seventh Annual ACM-SIAM Symposium on Discrete Algorithms. 498\u2013507."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1446788700013987"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1994-1202419-X"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/0021-8693(85)90085-7"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1090\/tran\/6838"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1993.366844"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611974782.13"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054110007660"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539703425861"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1051\/ita:2005007"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2004.11.008"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ICALP.2023.124"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611977912.138"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00605-003-0051-4"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/s3-4.1.419"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209142"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1070\/IM1982v019n01ABEH001405"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196795000227"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02220029"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198507284.001.0001"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2014.12.014"},{"key":"e_1_3_2_1_24_1","first-page":"539","article-title":"On certain insoluble problems concerning matrices","volume":"57","author":"Markov A.","year":"1947","unstructured":"A. Markov. 1947. On certain insoluble problems concerning matrices. Doklady Akad. Nauk SSSR 57, 6 (1947), 539\u2013542.","journal-title":"Doklady Akad. Nauk SSSR"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.2307\/2270002"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561463"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01138933"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.2307\/2964487"},{"key":"e_1_3_2_1_29_1","first-page":"293","article-title":"Undecidability of the submonoid membership problem for a sufficiently large finite direct power of the Heisenberg group","volume":"20","author":"Roman\u2019kov Vitalii Anatol\u2019evich","year":"2023","unstructured":"Vitalii Anatol\u2019evich Roman\u2019kov. 2023. Undecidability of the submonoid membership problem for a sufficiently large finite direct power of the Heisenberg group. Sibirskie Elektronnye Matematicheskie Izvestiya 20, 1 (2023), 293\u2013305.","journal-title":"Sibirskie Elektronnye Matematicheskie Izvestiya"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01462922"}],"event":{"name":"STOC '24: 56th Annual ACM Symposium on Theory of Computing","location":"Vancouver BC Canada","acronym":"STOC '24","sponsor":["SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 56th Annual ACM Symposium on Theory of Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3618260.3649609","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3618260.3649609","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:36:46Z","timestamp":1750178206000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3618260.3649609"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,10]]},"references-count":30,"alternative-id":["10.1145\/3618260.3649609","10.1145\/3618260"],"URL":"https:\/\/doi.org\/10.1145\/3618260.3649609","relation":{},"subject":[],"published":{"date-parts":[[2024,6,10]]},"assertion":[{"value":"2024-06-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}