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

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

Published in: CAV (2014)

Keyphrases

regular expressions
finite automata
data mining
metadata
computational complexity
special case
edit distance