Solving String Constraints with Concatenation Using SAT.

Kevin Lotz, Amit Goel, Bruno Dutertre, Benjamin Kiesl-Reiter, Soonho Kong, Dirk Nowotka

Browse the full FMCAD paper archive.