3 citations · 4 across the 5 of their papers we have counts for
1 paper · 1 filter
Antonina Nepeivoda
The paper focuses on the automatic generating of the witnesses for the word equation satisfiability problem by means of specializing an interpreter which tests whether a compositio…