Sign in
An Alternative to SAT-Based Approaches for Bit-Vectors.
Sébastien Bardin
Philippe Herrmann
Florian Perroud
Published in:
TACAS (2010)
Keyphrases
</>
bit vectors
databases
multi dimensional