Exploring Approximations for Floating-Point Arithmetic Using UppSAT.

Aleksandar Zeljic, Peter Backeman, Christoph M. Wintersteiger, Philipp Rmmer

Browse the full CADE paper archive.