2021


Fast and Efficient Bit-Level Precision Tuning

Par Dorra Ben Khalifa Dorra (LAMPS, UPVD) le 2021-11-26*

Keywords: Computer arithmetic, numerical accuracy, static analysis, constraint generation, SMT solver, LP solver, policy iteration.