Building Better Bit-Blasting for Floating-Point Problems.

Martin Brain Florian Schanda Youcheng Sun

Published in: TACAS (1) (2019)

Keyphrases

floating point
fixed point
sparse matrices
square root
floating point arithmetic
np hard
post processing