TY  - RPRT
TI  - A Solver for a Theory of Strings and Bit-vectors
AU  - Sanu Subramanian
AU  - Murphy Berzish
AU  - Yunhui Zheng
AU  - Omer Tripp
AU  - Vijay Ganesh
PY  - 2016
UR  - https://arxiv.org/abs/1605.09446
ID  - 1605.09446
ER  -