The Solvability Problem for Quadratic Equations over Free Groups is NP-Complete. - Olga Kharlampovich; I. G. Lysënok; Alexei G. Myasnikov; Nicholas W. M. Touikan (Theory Comput. Syst., 2010)