Aleksandar Zeljic, Peter Backeman, Christoph M. Wintersteiger, Philipp Rümmer
Exploring Approximations for Floating-Point Arithmetic Using UppSAT
IJCAR, 2018.
@inproceedings{IJCAR-2018-ZeljicBWR,
author = "Aleksandar Zeljic and Peter Backeman and Christoph M. Wintersteiger and Philipp Rümmer",
booktitle = "{Proceedings of the Ninth International Joint Conference on Automated Reasoning}",
doi = "10.1007/978-3-319-94205-6_17",
isbn = "['978-3-319-94204-9', '978-3-319-94205-6']",
pages = "246--262",
publisher = "{Springer}",
title = "{Exploring Approximations for Floating-Point Arithmetic Using UppSAT}",
year = 2018,
}