On Solving String Equations via Powers and Parikh Images. - Clemens Eisenhofer; Theodor Seiser; Nikolaj S. Bjørner; Laura Kovács (TABLEAUX, 2025)