9 citations · 28 across the 22 of their papers we have counts for
3 papers · 2 filters
Solving One-Variable Equations in Free Groups
Dimitri Bormotov, Robert Gilman, Alexei Myasnikov
Equations in free groups have become prominent recently in connection with the solution to the well known Tarski Conjecture. Results of Makanin and Rasborov show that solvability o…
Pattern Recognition Approaches to Solving Combinatorial Problems in Free Groups
Robert M. Haralick, Alexei D. Miasnikov, Alexei G. Myasnikov
We review some basic methodologies from pattern recognition that can be applied to helping solve combinatorial problems in free group theory. We illustrate how this works with reco…
Heuristics for The Whitehead Minimization Problem
R. M. Haralick, A. D. Miasnikov, A. G. Myasnikov
In this paper we discuss several heuristic strategies which allow one to solve the Whitehead's minimization problem much faster (on most inputs) than the classical Whitehead algori…