Mitja Kulczynski. Light On String Solving: Approaches to Efficiently and Correctly Solving String Constraints. PhD thesis, University of Kiel, Germany, 2022. [doi]
@phdthesis{dnb-24649, title = {Light On String Solving: Approaches to Efficiently and Correctly Solving String Constraints}, author = {Mitja Kulczynski}, year = {2022}, url = {https://d-nb.info/1251313426}, researchr = {https://researchr.org/publication/dnb-24649}, cites = {0}, citedby = {0}, school = {University of Kiel, Germany}, }