EasyChair Smart Slide
Exploring Approximations for Floating-Point Arithmetic using UppSAT
Exploring Approximations for Floating-Point Arithmetic using UppSAT