[IEEE 2018 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC) - Verona, Italy (2018.10.8-2018.10.10)] 2018 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC) - On the Rectifiability of Arithmetic Circuits using Craig Interpolants in Finite Fields
Gupta, Utkarsh, Ilioaea, Irina, Rao, Vikas, Srinath, Arpitha, Kalla, Priyank, Enescu, FlorianYear:
2018
DOI:
10.1109/vlsi-soc.2018.8644853
File:
PDF, 780 KB
2018