Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka. Towards more efficient methods for solving regular-expression heavy string constraints. Theoretical Computer Science, 943:50-72, 2023. [doi]
Abstract is missing.