Publication

[ChenHLT20] A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving Chen, Y.-F.; Havlena, V.; Lengál, O. and Turrini, A. In APLAS, 2020.
Downloads: bib