An SMT Theory of Fixed-Point Arithmetic.

Marek S. Baranowski Shaobo He Mathias Lechner Thanh Son Nguyen Zvonimir Rakamaric

Published in: IJCAR (1) (2020)

Keyphrases

fixed point
floating point
sufficient conditions
variational inequalities
constraint databases
fixed point theorem
image processing
bargaining solution
dynamical systems