Towards Satisfiability Modulo Parametric Bit-vectors.

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

Published in: J. Autom. Reason. (2021)

Keyphrases

bit vectors
bit vector
computational complexity
hash table
locality sensitive hashing
gray code
dimensionality reduction