Sign in

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

Tianyi LiangAndrew ReynoldsCesare TinelliClark W. BarrettMorgan Deters
Published in: CAV (2014)
Keyphrases
  • regular expressions
  • finite automata
  • data mining
  • metadata
  • computational complexity
  • special case
  • edit distance