![]() | Up a level |
Brain, M. ORCID: 0000-0003-4216-7151, Schanda, F. and Sun, Y. (2019).
Building Better Bit-Blasting for Floating-Point Problems.
Tools and Algorithms for the Construction and Analysis of Systems, 11427,
pp. 79-98.
doi: 10.1007/978-3-030-17462-0_5