BibTeX record conf/vlsi/GuptaIRSKE18

download as .bib file

@inproceedings{DBLP:conf/vlsi/GuptaIRSKE18,
  author       = {Utkarsh Gupta and
                  Irina Ilioaea and
                  Vikas Rao and
                  Arpitha Srinath and
                  Priyank Kalla and
                  Florian Enescu},
  title        = {On the Rectifiability of Arithmetic Circuits using Craig Interpolants
                  in Finite Fields},
  booktitle    = {{IFIP/IEEE} International Conference on Very Large Scale Integration,
                  VLSI-SoC 2018, Verona, Italy, October 8-10, 2018},
  pages        = {49--54},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/VLSI-SoC.2018.8644853},
  doi          = {10.1109/VLSI-SOC.2018.8644853},
  timestamp    = {Mon, 05 Feb 2024 20:33:40 +0100},
  biburl       = {https://dblp.org/rec/conf/vlsi/GuptaIRSKE18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics