A Generic Information Extraction System for String Constraints

Joel D. Day, Adrian Kröger, Mitja Kulczynski +3

String constraint solving, and the underlying theory of word equations, are highly interesting research topics both for practitioners and theoreticians working in the wide area of…