Building Better Bit-Blasting for Floating-Point Problems.

Martin Brain, Florian Schanda, Youcheng Sun

Browse the full TACAS paper archive.