Solving Quantified Bit-Vectors Using Invertibility Conditions.

Aina Niemetz Mathias Preiner Andrew Reynolds Clark W. Barrett Cesare Tinelli

Published in: CAV (2) (2018)

Keyphrases

bit vectors
sufficient conditions
bit vector
binary images
databases
locality sensitive hashing
hash table
gray code