@inproceedings{conchon-nd-built, title={Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers}, volume={20}, ISSN={2398-7340}, url={http://dx.doi.org/10.29007/wh99}, DOI={10.29007/wh99}, booktitle={EPiC Series in Computing}, publisher={EasyChair}, author={Conchon, Sylvain and Melquiond, Guillaume and Roux, Cody and Iguernelala, Mohamed}, pages={12–1} }