×

Found 4 Documents (Results 1–4)

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
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software