{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:17:36Z","timestamp":1750220256424,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,7,4]],"date-time":"2022-07-04T00:00:00Z","timestamp":1656892800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["LO748\/12-1"],"award-info":[{"award-number":["LO748\/12-1"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,7,4]]},"DOI":"10.1145\/3476446.3535482","type":"proceedings-article","created":{"date-parts":[[2022,7,5]],"date-time":"2022-07-05T13:16:01Z","timestamp":1657026961000},"page":"293-301","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Exponent Equations in HNN-extensions"],"prefix":"10.1145","author":[{"given":"Michael","family":"Figelius","sequence":"first","affiliation":[{"name":"University of Siegen, Siegen, Germany"}]},{"given":"Markus","family":"Lohrey","sequence":"additional","affiliation":[{"name":"University of Siegen, Siegen, Germany"}]}],"member":"320","published-online":{"date-parts":[[2022,7,5]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"G\u00e1 bor Ivanyos, and Eugene M. Luks","author":"Babai L\u00e1szl\u00f3","year":"1996","unstructured":"L\u00e1szl\u00f3 Babai , Robert Beals , Jin-Yi Cai , G\u00e1 bor Ivanyos, and Eugene M. Luks . 1996 . Multiplicative Equations over Commuting Matrices. In Proceedings of SODA 1996. ACM\/SIAM , 498--507. L\u00e1szl\u00f3 Babai, Robert Beals, Jin-Yi Cai, G\u00e1 bor Ivanyos, and Eugene M. Luks. 1996. Multiplicative Equations over Commuting Matrices. In Proceedings of SODA 1996. ACM\/SIAM, 498--507."},{"key":"e_1_3_2_1_2_1","volume-title":"Proceeding of the 38th International Symposium on Theoretical Aspects of Computer Science, STACS 2021 (LIPIcs","volume":"17","author":"\u00dfer Pascal Bergstra","year":"2021","unstructured":"Pascal Bergstra \u00dfer , Moses Ganardi , and Georg Zetzsche . 2021 . A Characterization of Wreath Products Where Knapsack Is Decidable . In Proceeding of the 38th International Symposium on Theoretical Aspects of Computer Science, STACS 2021 (LIPIcs , Vol. 187). Schloss Dagstuhl - Leibniz-Zentrum f\u00fc r Informatik, 11:1--11: 17 . https:\/\/doi.org\/10.4230\/LIPIcs.STACS.2021.11 10.4230\/LIPIcs.STACS.2021.11 Pascal Bergstra \u00dfer, Moses Ganardi, and Georg Zetzsche. 2021. A Characterization of Wreath Products Where Knapsack Is Decidable. In Proceeding of the 38th International Symposium on Theoretical Aspects of Computer Science, STACS 2021 (LIPIcs, Vol. 187). Schloss Dagstuhl - Leibniz-Zentrum f\u00fc r Informatik, 11:1--11:17. https:\/\/doi.org\/10.4230\/LIPIcs.STACS.2021.11"},{"key":"e_1_3_2_1_3_1","unstructured":"Agnieszka Bier and Oleg Bogopolski. 2021. Exponential equations in acylindrically hyperbolic groups. arxiv: 2106.11385  Agnieszka Bier and Oleg Bogopolski. 2021. Exponential equations in acylindrically hyperbolic groups. arxiv: 2106.11385"},{"key":"e_1_3_2_1_4_1","unstructured":"Oleg Bogopolski and Aleksander Ivanov. 2021. Notes about decidability of exponential equations. arxiv: 2105.06842  Oleg Bogopolski and Aleksander Ivanov. 2021. Notes about decidability of exponential equations. arxiv: 2105.06842"},{"key":"e_1_3_2_1_5_1","first-page":"43","article-title":"Knapsack problem for Baumslag--Solitar groups","volume":"18","author":"Dudkin Fedor A.","year":"2018","unstructured":"Fedor A. Dudkin and Alexander V. Treyer . 2018 . Knapsack problem for Baumslag--Solitar groups . Siberian Journal of Pure and Applied Mathematics , Vol. 18 , 4 (2018), 43 -- 55 . https:\/\/doi.org\/10.33048\/pam.2018.18.404 10.33048\/pam.2018.18.404 Fedor A. Dudkin and Alexander V. Treyer. 2018. Knapsack problem for Baumslag--Solitar groups. Siberian Journal of Pure and Applied Mathematics, Vol. 18, 4 (2018), 43--55. https:\/\/doi.org\/10.33048\/pam.2018.18.404","journal-title":"Siberian Journal of Pure and Applied Mathematics"},{"key":"e_1_3_2_1_6_1","volume-title":"Thurston","author":"Epstein David B. A.","year":"1992","unstructured":"David B. A. Epstein , James W. Cannon , Derek F. Holt , Silvio V. F. Levy , Michael S. Paterson , and William P . Thurston . 1992 . Word Processing in Groups . Jones and Bartlett, Boston. David B. A. Epstein, James W. Cannon, Derek F. Holt, Silvio V. F. Levy, Michael S. Paterson, and William P. Thurston. 1992. Word Processing in Groups. Jones and Bartlett, Boston."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196706002986"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020 (LIPIcs","volume":"18","author":"Figelius Michael","year":"2020","unstructured":"Michael Figelius , Moses Ganardi , Markus Lohrey , and Georg Zetzsche . 2020 . The Complexity of Knapsack Problems in Wreath Products . In Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020 (LIPIcs , Vol. 168). Schloss Dagstuhl - Leibniz-Zentrum f\u00fc r Informatik, 126:1--126: 18 . Michael Figelius, Moses Ganardi, Markus Lohrey, and Georg Zetzsche. 2020. The Complexity of Knapsack Problems in Wreath Products. In Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020 (LIPIcs, Vol. 168). Schloss Dagstuhl - Leibniz-Zentrum f\u00fc r Informatik, 126:1--126:18."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Michael Figelius and Markus Lohrey. 2022. Exponent equations in HNN-extensions. arxiv: 2202.04038  Michael Figelius and Markus Lohrey. 2022. Exponent equations in HNN-extensions. arxiv: 2202.04038","DOI":"10.1145\/3476446.3535482"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgebra.2021.08.016"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2015.05.006"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of 35th Symposium on Theoretical Aspects of Computer Science, STACS 2018 (LIPIcs","volume":"13","author":"Ganardi Moses","year":"2018","unstructured":"Moses Ganardi , Daniel K\u00f6 nig, Markus Lohrey , and Georg Zetzsche . 2018 . Knapsack Problems for Wreath Products . In Proceedings of 35th Symposium on Theoretical Aspects of Computer Science, STACS 2018 (LIPIcs , Vol. 96). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 32:1--32: 13 . Moses Ganardi, Daniel K\u00f6 nig, Markus Lohrey, and Georg Zetzsche. 2018. Knapsack Problems for Wreath Products. In Proceedings of 35th Symposium on Theoretical Aspects of Computer Science, STACS 2018 (LIPIcs, Vol. 96). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 32:1--32:13."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.2307\/2944334"},{"volume-title":"Essays in Group Theory (MSRI Publ., 8)","author":"Gromov Mikhael","key":"e_1_3_2_1_14_1","unstructured":"Mikhael Gromov . 1987. Hyperbolic groups . In Essays in Group Theory (MSRI Publ., 8) ,, S. M. Gersten (Ed.). Springer , 75--263. Mikhael Gromov. 1987. Hyperbolic groups. In Essays in Group Theory (MSRI Publ., 8),, S. M. Gersten (Ed.). Springer, 75--263."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3242953.3242964"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00224-010-9295-2"},{"key":"e_1_3_2_1_17_1","first-page":"247","article-title":"Embedding theorems for groups. Journal of the London Mathematical Society","volume":"24","author":"Higman Graham","year":"1949","unstructured":"Graham Higman , Bernhard H. Neumann , and Hanna Neumann . 1949 . Embedding theorems for groups. Journal of the London Mathematical Society . Second Series , Vol. 24 (1949), 247 -- 254 . Graham Higman, Bernhard H. Neumann, and Hanna Neumann. 1949. Embedding theorems for groups. Journal of the London Mathematical Society. Second Series, Vol. 24 (1949), 247--254.","journal-title":"Second Series"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196700000078"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196703001560"},{"key":"e_1_3_2_1_20_1","volume-title":"Ullman","author":"Hopcroft John E.","year":"1979","unstructured":"John E. Hopcroft and Jeffrey D . Ullman . 1979 . Introduction to Automata Theory, Languages and Computation. Addison-Wesley , Reading, MA. John E. Hopcroft and Jeffrey D. Ullman. 1979. Introduction to Automata Theory, Languages and Computation. Addison-Wesley, Reading, MA."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgebra.2017.05.037"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/677\/13625"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgebra.2019.04.008"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00224-017-9808-3"},{"key":"e_1_3_2_1_25_1","volume-title":"Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020 (LIPIcs","volume":"15","author":"Lohrey Markus","year":"2020","unstructured":"Markus Lohrey and Georg Zetzsche . 2020 . Knapsack and the Power Word Problem in Solvable Baumslag-Solitar Groups . In Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020 (LIPIcs , Vol. 170). Schloss Dagstuhl - Leibniz-Zentrum f\u00fc r Informatik, 67:1--67: 15 . Markus Lohrey and Georg Zetzsche. 2020. Knapsack and the Power Word Problem in Solvable Baumslag-Solitar Groups. In Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020 (LIPIcs, Vol. 170). Schloss Dagstuhl - Leibniz-Zentrum f\u00fc r Informatik, 67:1--67:15."},{"key":"e_1_3_2_1_26_1","volume-title":"Schupp","author":"Lyndon Roger C.","year":"1977","unstructured":"Roger C. Lyndon and Paul E . Schupp . 1977 . Combinatorial Group Theory .Springer, NewYork Berlin Heidelberg. Roger C. Lyndon and Paul E. Schupp. 1977. Combinatorial Group Theory .Springer, NewYork Berlin Heidelberg."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1515\/gcc-2017-0006"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0025-5718-2014-02880-9"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196796000398"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196794000178"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196792000025"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/321356.321364"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1112\/blms\/14.1.45"},{"key":"e_1_3_2_1_34_1","volume-title":"An Introduction to the Theory of Groups","author":"Rotman J. J.","unstructured":"J. J. Rotman . 1995. An Introduction to the Theory of Groups ( 4 th edition) .Springer, NewYork Berlin Heidelberg . J. J. Rotman. 1995. An Introduction to the Theory of Groups (4th edition) .Springer, NewYork Berlin Heidelberg.","edition":"4"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1051\/ita:2000114"},{"key":"e_1_3_2_1_36_1","volume-title":"Classical Topology and Combinatorial Group Theory","author":"Stillwell John","unstructured":"John Stillwell . 1993. Classical Topology and Combinatorial Group Theory ( 2 nd edition) .Springer, NewYork Berlin Heidelberg . John Stillwell. 1993. Classical Topology and Combinatorial Group Theory (2nd edition) .Springer, NewYork Berlin Heidelberg.","edition":"2"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.3934\/era.2009.16.44"}],"event":{"name":"ISSAC '22: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Villeneuve-d'Ascq France","acronym":"ISSAC '22"},"container-title":["Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3476446.3535482","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3476446.3535482","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:30:47Z","timestamp":1750188647000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3476446.3535482"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,4]]},"references-count":37,"alternative-id":["10.1145\/3476446.3535482","10.1145\/3476446"],"URL":"https:\/\/doi.org\/10.1145\/3476446.3535482","relation":{},"subject":[],"published":{"date-parts":[[2022,7,4]]},"assertion":[{"value":"2022-07-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}