3 citations · 4 across the 2 of their papers we have counts for
2 papers
math.GR2013★ 1 cited
SLP compression for solutions of equations with constraints in free and hyperbolic groups
Volker Diekert, Olga Kharlampovich, Atefeh Mohajeri Moghaddam
The paper is a part of an ongoing program which aims to show that the existential theory in free groups (hyperbolic groups or even toral relatively hyperbolic) is NP-complete. For…
math.GR2011★ 3 cited
Approximation of Geodesics in Metabelian Groups
O. Kharlampovich, A. Mohajeri Moghaddam
It is known that the bounded Geodesic Length Problem in free metabelian groups is NP-complete (in particular, the Geodesic Problem is NP-hard). We construct a 2-approximation polyn…