Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers.

Patrick Trentin Roberto Sebastiani

Published in: CoRR (2019)

Keyphrases

floating point
bit vectors
fixed point
bit vector
instruction set
sparse matrices
nearest neighbor
fine grained
frequency domain
locality sensitive hashing
hash table
floating point arithmetic