Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers.

Sylvain Conchon Guillaume Melquiond Cody Roux Mohamed Iguernelala

Published in: SMT@IJCAR (2012)

Keyphrases

floating point
modulo theories
fixed point
instruction set
square root
satisfiability modulo theories
answer set programming
computer science
linear algebra
interval arithmetic
sparse matrices
fast fourier transform