Berzish, M., Kulczynski, M., Mora, F., Manea, F., Day, J., Nowotka, D., & Ganesh, V. (2021). An SMT solver for regular expressions and linear arithmetic over string length.
Chicago Edition CitationBerzish, Murphy, Mitja Kulczynski, Federico Mora, Florin Manea, Joel Day, Dirk Nowotka, and Vijay Ganesh. An SMT Solver for Regular Expressions and Linear Arithmetic over String Length. 2021.
MLA Edition CitationBerzish, Murphy, et al. An SMT Solver for Regular Expressions and Linear Arithmetic over String Length. 2021.
Warning: These citations may not always be 100% accurate.