Vikas Rao

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 7

Top Topics

Multibaseline Stereo

Computer Algebra

Integer Arithmetic

Top Venues

Publications

Vikas Rao, Haden Ondricek, Priyank Kalla, Florian Enescu
Rectification of Integer Arithmetic Circuits using Computer Algebra Techniques. ICCD (2021)
Vikas Rao, Irina Ilioaea, Haden Ondricek, Priyank Kalla, Florian Enescu
Word-Level Multi-Fix Rectifiability of Finite Field Arithmetic Circuits. ISQED (2021)
Vikas Rao, Haden Ondricek, Priyank Kalla, Florian Enescu
Algebraic Techniques for Rectification of Finite Field Circuits. VLSI-SoC (2021)
Utkarsh Gupta, Priyank Kalla, Vikas Rao
Boolean Gröbner Basis Reductions on Finite Field Datapath Circuits Using the Unate Cube Set Algebra. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38 (3) (2019)
Utkarsh Gupta, Irina Ilioaea, Vikas Rao, Arpitha Srinath, Priyank Kalla, Florian Enescu
On the Rectifiability of Arithmetic Circuits using Craig Interpolants in Finite Fields. VLSI-SoC (2018)
Utkarsh Gupta, Irina Ilioaea, Vikas Rao, Arpitha Srinath, Priyank Kalla, Florian Enescu
Rectification of Arithmetic Circuits with Craig Interpolants in Finite Fields. VLSI-SoC (Selected Papers) (2018)
Vikas Rao, Utkarsh Gupta, Irina Ilioaea, Arpitha Srinath, Priyank Kalla, Florian Enescu
Post-Verification Debugging and Rectification of Finite Field Arithmetic Circuits using Computer Algebra Techniques. FMCAD (2018)