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

Published in: CAV (2009)

Keyphrases

floating point
square root
fixed point
decision making
decision makers
instruction set
interval arithmetic
sparse matrices
floating point arithmetic
linear constraints
fast fourier transform
level set
main memory