@inproceedings{gupta:hal-02321766,
  TITLE = {{Rectification of Arithmetic Circuits with Craig Interpolants in Finite Fields}},
  AUTHOR = {Gupta, Utkarsh and Ilioaea, Irina and Rao, Vikas and Srinath, Arpitha and Kalla, Priyank and Enescu, Florian},
  URL = {https://inria.hal.science/hal-02321766},
  BOOKTITLE = {{26th IFIP/IEEE International Conference on Very Large Scale Integration - System on a Chip (VLSI-SoC)}},
  ADDRESS = {Verona, Italy},
  EDITOR = {Nicola Bombieri and Graziano Pravadelli and Masahiro Fujita and Todd Austin and Ricardo Reis},
  PUBLISHER = {{Springer International Publishing}},
  SERIES = {VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms},
  VOLUME = {AICT-561},
  PAGES = {79-106},
  YEAR = {2018},
  MONTH = Oct,
  DOI = {10.1007/978-3-030-23425-6\_5},
  KEYWORDS = {Rectification ; Arithmetic circuits ; Gr{\"o}bner bases ; Craig interpolants},
  PDF = {https://inria.hal.science/hal-02321766/file/485996_1_En_5_Chapter.pdf},
  HAL_ID = {hal-02321766},
  HAL_VERSION = {v1},
}