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

Patrick Trentin Roberto Sebastiani

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

Keyphrases

floating point
bit vectors
fixed point
instruction set
sparse matrices
floating point arithmetic
bit vector