High-Level Abstractions for Simplifying Extended String Constraints in SMT.

Andrew Reynolds, Andres Ntzli, Clark W. Barrett, Cesare Tinelli

Browse the full CAV paper archive.