C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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