TY  - RPRT
TI  - Exploring Approximations for Floating-Point Arithmetic using UppSAT
AU  - Aleksandar Zeljic
AU  - Peter Backeman
AU  - Christoph M. Wintersteiger
AU  - Philipp Ruemmer
PY  - 2017
UR  - https://arxiv.org/abs/1711.08859
ID  - 1711.08859
ER  -