Optimal Bounds for Floating-Point Addition in Constant Time.
Mak Andrlon, Peter Schachte, Harald Sndergaard, Peter J. Stuckey
Browse the full ARITH paper archive.
Mak Andrlon, Peter Schachte, Harald Sndergaard, Peter J. Stuckey
Browse the full ARITH paper archive.