Solving Constraints over Floating-Point Numbers.

Claude Michel Michel Rueher Yahia Lebbah

Published in: CP (2001)

Keyphrases

floating point
interval arithmetic
sparse matrices
fixed point
square root
constrained problems
real numbers
constraint satisfaction
instruction set
floating point arithmetic
constraint propagation
fast fourier transform
main memory
integer program