Utkarsh Gupta, Priyank Kalla, Irina Ilioaea, Florian Enescu. Exploring Algebraic Interpolants for Rectification of Finite Field Arithmetic Circuits with Gröbner Bases. In 24th IEEE European Test Symposium, ETS 2019, Baden-Baden, Germany, May 27-31, 2019. pages 1-6, IEEE, 2019. [doi]
Abstract is missing.