54 citations · 103 across the 10 of their papers we have counts for
1 paper · 1 filter
Murphy Berzish, Yunhui Zheng, Vijay Ganesh
We present a new string SMT solver, Z3str3, that is faster than its competitors Z3str2, Norn, CVC4, S3, and S3P over a majority of three industrial-strength benchmarks, namely Kalu…