![]() | Up a level |
Brain, M. ORCID: 0000-0003-4216-7151, Niemetz, A., Preiner, M., Reynolds, A., Barrett, C. and Tinelli, C. (2019).
Invertibility Conditions for Floating-Point Formulae.
In:
Computer Aided Verification. CAV 2019.
Lecture Notes in Computer Science, 11562.
(pp. 116-136). Cham: Springer.
ISBN 978-3-030-25542-8