Details for the publication ChenHLT20.

Yu-Fang Chen (), Vojtech Havlena, Ondrej Lengál, Andrea Turrini: A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving. In Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings, volume 12470 of Lecture Notes in Computer Science, pages 343-363, 2020. DOI BIB