Sign in

An SMT Theory of Fixed-Point Arithmetic.

Marek S. BaranowskiShaobo HeMathias LechnerThanh Son NguyenZvonimir 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