Effective equation solving, constraints and growth in virtually abelian groups

Laura Ciobanu, Alex Evetts, Alex Levine

In this paper we study the satisfiability and solutions of group equations when combinatorial, algebraic and language-theoretic constraints are imposed on the solutions. We show th…