Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski, Armin Weiß. Satisfiability Problems for Finite Groups. In Mikolaj Bojanczyk, Emanuela Merelli, David P. Woodruff, editors, 49th International Colloquium on Automata, Languages, and Programming, ICALP 2022, July 4-8, 2022, Paris, France. Volume 229 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]
No references recorded for this publication.
No citations of this publication recorded.