Invertibility Conditions for Floating-Point Formulas.

Martin Brain, Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli

Browse the full CAV paper archive.