130 citations · 133 across the 4 of their papers we have counts for
1 paper · 1 filter
Sanu Subramanian, Murphy Berzish, Yunhui Zheng +2
We present a solver for a many-sorted first-order quantifier-free theory Tw,bv of string equations, string length represented as bit-vectors, and bit-vector arithmetic aimed a…