On using floating-point computations to help an exact linear arithmetic decision procedure

Published in: CoRR (2009)

Keyphrases

floating point
square root
fixed point
floating point arithmetic
interval arithmetic
decision making
fast fourier transform
instruction set
sparse matrices
decision makers
image processing
three dimensional
input image
post processing
index structure