Optimal Bounds for Floating-Point Addition in Constant Time.

Mak Andrlon Peter Schachte Harald Søndergaard Peter J. Stuckey

Published in: ARITH (2019)

Keyphrases

floating point
worst case
square root
fixed point
upper bound
lower bound
dynamic programming
optimal solution
data processing
fast fourier transform
instruction set
sparse matrices