Mak Andrlon, Peter Schachte, Harald Søndergaard, Peter J. Stuckey. Optimal Bounds for Floating-Point Addition in Constant Time. In Naofumi Takagi, Sylvie Boldo, Martin Langhammer, editors, 26th IEEE Symposium on Computer Arithmetic, ARITH 2019, Kyoto, Japan, June 10-12, 2019. pages 159-166, IEEE, 2019. [doi]
Abstract is missing.