Z3str4: A Multi-armed String Solver.

Federico Mora Murphy Berzish Mitja Kulczynski Dirk Nowotka Vijay Ganesh

Published in: FM (2021)

Keyphrases

information systems
data structure
regular expressions
orders of magnitude
real time
search engine
social networks
case study
database systems
pattern matching
string matching