Exploring Approximations for Floating-Point Arithmetic Using UppSAT.

Aleksandar Zeljic Peter Backeman Christoph M. Wintersteiger Philipp Rümmer

Published in: IJCAR (2018)

Keyphrases

floating point arithmetic
floating point
instruction set
databases
artificial intelligence
software engineering
fine grained