An SMT Theory of Fixed-Point Arithmetic.

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

Browse the full CADE paper archive.