Login / Signup
A Three-Tier Strategy for Reasoning About Floating-Point Numbers in SMT.
Sylvain Conchon
Mohamed Iguernelala
Kailiang Ji
Guillaume Melquiond
Clément Fumex
Published in:
CAV (2) (2017)
Keyphrases
</>
floating point
fixed point
square root
instruction set
sparse matrices
fast fourier transform
interval arithmetic
image segmentation
higher order