1 citations · 2 across the 6 of their papers we have counts for
1 paper · 1 filter
Yuki Yonemoto
The satisfiability problem for word equations asks whether variables can be replaced by words so that the two sides become equal. For regular word equations, in which each variable…