%0 Journal Article %1 journals/tcs/BerzishDGKMMN23 %A Berzish, Murphy %A Day, Joel D. %A Ganesh, Vijay %A Kulczynski, Mitja %A Manea, Florin %A Mora, Federico %A Nowotka, Dirk %D 2023 %J Theor. Comput. Sci. %K dblp %P 50-72 %T Towards more efficient methods for solving regular-expression heavy string constraints. %U http://dblp.uni-trier.de/db/journals/tcs/tcs943.html#BerzishDGKMMN23 %V 943

@article{journals/tcs/BerzishDGKMMN23, added-at = {2023-01-15T00:00:00.000+0100}, author = {Berzish, Murphy and Day, Joel D. and Ganesh, Vijay and Kulczynski, Mitja and Manea, Florin and Mora, Federico and Nowotka, Dirk}, biburl = {https://www.bibsonomy.org/bibtex/2912eb7ea1c41fb87e6cb884c36542bfc/dblp}, ee = {https://doi.org/10.1016/j.tcs.2022.12.009}, interhash = {ddb783cdd922d886c37079ddd868c1ef}, intrahash = {912eb7ea1c41fb87e6cb884c36542bfc}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, pages = {50-72}, timestamp = {2024-04-08T18:43:45.000+0200}, title = {Towards more efficient methods for solving regular-expression heavy string constraints.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs943.html#BerzishDGKMMN23}, volume = 943, year = 2023 }