TY  - RPRT
TI  - Spectral Approach to Verifying Non-linear Arithmetic Circuits
AU  - Cunxi Yu
AU  - Tiankai Su
AU  - Atif Yasin
AU  - Maciej Ciesielski
PY  - 2019
UR  - https://arxiv.org/abs/1901.02950
ID  - 1901.02950
ER  -