Marek Baranowski: An SMT Theory of Fixed-Point Arithmetic (IJCAR A)
Channel: IJCAR-FSCD 2020
Date: 2020-07-17

Authors: Marek Baranowski, Shaobo He, Mathias Lechner, Thanh Son Nguyen, and Zvonimir Rakamaric

Aired: 2020-02-04 13:30:00 CEST (UTC+2)