Z3str3: A String Solver with Theory-aware Branching.

Murphy Berzish Yunhui Zheng Vijay Ganesh

Published in: CoRR (2017)

Keyphrases

theoretical basis
database
data mining
pattern matching
string matching
data structure
expert systems
theoretical framework
formal theory
neural network
decision trees
multiscale
branch and bound
theoretical foundation
search tree
decision theory