Nötzli, Andres; Reynolds, Andrew; Barbosa, Haniel; Barrett, Clark; Tinelli, Cesare Even faster conflicts and lazier reductions for string solvers. (English) Zbl 1514.68274 Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13372, 205-226 (2022). MSC: 68T20 PDFBibTeX XMLCite \textit{A. Nötzli} et al., Lect. Notes Comput. Sci. 13372, 205--226 (2022; Zbl 1514.68274) Full Text: DOI
Reynolds, Andrew; Nötzli, Andres; Barrett, Clark; Tinelli, Cesare A decision procedure for string to code point conversion. (English) Zbl 07614515 Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12166, 218-237 (2020). MSC: 68V15 PDFBibTeX XMLCite \textit{A. Reynolds} et al., Lect. Notes Comput. Sci. 12166, 218--237 (2020; Zbl 07614515) Full Text: DOI
Liang, Tianyi; Reynolds, Andrew; Tsiskaridze, Nestan; Tinelli, Cesare; Barrett, Clark; Deters, Morgan An efficient SMT solver for string constraints. (English) Zbl 1404.68135 Form. Methods Syst. Des. 48, No. 3, 206-234 (2016). MSC: 68T15 68Q45 68Q60 PDFBibTeX XMLCite \textit{T. Liang} et al., Form. Methods Syst. Des. 48, No. 3, 206--234 (2016; Zbl 1404.68135) Full Text: DOI
Liang, Tianyi; Tsiskaridze, Nestan; Reynolds, Andrew; Tinelli, Cesare; Barrett, Clark A decision procedure for regular membership and length constraints over unbounded strings. (English) Zbl 1471.68119 Lutz, Carsten (ed.) et al., Frontiers of combining systems. 10th international symposium, FroCoS 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9322, 135-150 (2015). MSC: 68Q45 03B25 03B35 68T20 68V15 PDFBibTeX XMLCite \textit{T. Liang} et al., Lect. Notes Comput. Sci. 9322, 135--150 (2015; Zbl 1471.68119) Full Text: DOI