TY  - RPRT
TI  - Sound Mixed-Precision Optimization with Rewriting
AU  - Eva Darulova
AU  - Einar Horn
AU  - Saksham Sharma
PY  - 2017
UR  - https://arxiv.org/abs/1707.02118
ID  - 1707.02118
ER  -