The Solvability Problem for Quadratic Equations over Free Groups is NP-Complete

Olgo Kharlampovich, I. G. Lysënok, Alexei G. Myasnikov, Nicholas W. M. Touikan. The Solvability Problem for Quadratic Equations over Free Groups is NP-Complete. Theory Comput. Syst., 47(1):250-258, 2010. [doi]

Abstract

Abstract is missing.