On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure.

David Monniaux

Browse the full CAV paper archive.