Z3str3: A string solver with theory-aware heuristics.

Murphy Berzish Vijay Ganesh Yunhui Zheng

Published in: FMCAD (2017)

Keyphrases

search algorithm
pattern matching
theoretical framework
heuristic search
regular expressions
information retrieval
information systems
case study
evolutionary algorithm
information theory
general theory
formal theory
satisfiability modulo theories