Login / Signup
Bringing freedom in variable choice when searching counter-examples in floating point programs.
Heytem Zitoun
Claude Michel
Laurent Michel
Michel Rueher
Published in:
CoRR (2020)
Keyphrases
</>
floating point
counter examples
answer sets
fixed point
square root
instruction set
logic programs
sparse matrices
floating point arithmetic
interval arithmetic
low cost
logic programming
fine grained