63 citations · 252 across the 39 of their papers we have counts for
1 paper · 1 filter
Vijay Ganesh, Mia Minnes, Armando Solar-Lezama +1
We prove several decidability and undecidability results for the satisfiability and validity problems for languages that can express solutions to word equations with length constra…