Mathematical Programming Modulo Strings.

Ankit Kumar, Panagiotis Manolios

Browse the full FMCAD paper archive.