26 citations · 75 across the 27 of their papers we have counts for
1 paper · 1 filter
Laura Ciobanu, Derek Holt, Sarah Rees
In this note, we show that the satisfiability of equations and inequations with recognisable constraints is decidable in groups that are virtually direct products of finitely many…