M Goldmann, A Russell - Information and Computation, 2002 - core.ac.uk
We study the computational complexity of solving systems of equations over a finite group.
An equation over a group G is an expression of the form w1· w2·...· wk= 1G, where each wi is …