Towards more efficient methods for solving regular-expression heavy string constraints

No abstract is available in the live database for this paper.

Authors

• Murphy Berzish
• Joel D. Day
• Vijay Ganesh Georgia Institute of Technology
• Mitja Kulczynski
• Florin Manea
• Federico Mora University of California, Berkeley
• Dirk Nowotka

Keywords

No keywords are indexed for this paper.