An efficient constraint based framework forhandling floating point SMT problems.

Heytem Zitoun Claude Michel Laurent Michel Michel Rueher

Published in: CoRR (2020)

Keyphrases

floating point
fixed point
bayesian networks
probabilistic model
sparse matrices