A Solver for a Theory of Strings and Bit-vectors.

Sanu Subramanian Murphy Berzish Yunhui Zheng Omer Tripp Vijay Ganesh

Published in: CoRR (2016)

Keyphrases

bit vectors
data structure
databases
multimedia
database systems
state space
bit vector