Solving String Constraints with Concatenation Using SAT

Lotz, Kevin; Goel, Amit; Dutertre, Bruno; Kiesl-Reiter, Benjamin; Kong, Soonho; Nowotka, Dirk

doi:10.34727/2024/isbn.978-3-85448-065-5_9

Record link:

http://hdl.handle.net/20.500.12708/200776
https://doi.org/10.34727/2024/isbn.978-3-85448-065-5_9

Title:

Solving String Constraints with Concatenation Using SAT

Citation:

Lotz, K., Goel, A., Dutertre, B., Kiesl-Reiter, B., Kong, S., & Nowotka, D. (2024). Solving String Constraints with Concatenation Using SAT. In N. Narodytska & P. Rümmer (Eds.), Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024 (pp. 29–38). TU Wien Academic Press. https://doi.org/10.34727/2024/isbn.978-3-85448-065-5_9

reposiTUm DOI:

10.34727/2024/isbn.978-3-85448-065-5_9

Publication Type:

Inproceedings - Full-Paper Contribution

Authors: