A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving.

Yu-Fang Chen, Vojtech Havlena, Ondrej Lengl, Andrea Turrini

Browse the full APLAS paper archive.