A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions.

Tianyi Liang, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett, Morgan Deters

Browse the full CAV paper archive.