{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T15:43:01Z","timestamp":1730302981852,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1109\/vlsi-soc.2018.8644853","type":"proceedings-article","created":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T16:33:26Z","timestamp":1552667606000},"page":"49-54","source":"Crossref","is-referenced-by-count":6,"title":["On the Rectifiability of Arithmetic Circuits using Craig Interpolants in Finite Fields"],"prefix":"10.1109","author":[{"given":"Utkarsh","family":"Gupta","sequence":"first","affiliation":[]},{"given":"Irina","family":"Ilioaea","sequence":"additional","affiliation":[]},{"given":"Vikas","family":"Rao","sequence":"additional","affiliation":[]},{"given":"Arpitha","family":"Srinath","sequence":"additional","affiliation":[]},{"given":"Priyank","family":"Kalla","sequence":"additional","affiliation":[]},{"given":"Florian","family":"Enescu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Craig Interpolants in Finite Fields using Algebraic Geometry: Theory and Applications","author":"gupta","year":"2018","journal-title":"Int Workshop on Logic Synthesis (IWLS)"},{"journal-title":"An Introduction to Gröbner Bases","year":"1994","author":"adams","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1989.76898"},{"key":"ref13","first-page":"464","article-title":"Efficient Automatic Diagnosis of Digital Circuits","author":"liaw","year":"1990","journal-title":"Proc ICCAD"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/217474.217604"},{"key":"ref15","first-page":"729","article-title":"A Robust Functional ECO Engine by SAT Proof Minimization and Interpolation Techniques","author":"wu","year":"2010","journal-title":"Proc Int Conf Comp Aided Des"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2010.2067833"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI.2015.16"},{"key":"ref18","article-title":"Counting Zeros over Finite Fields with Grübner Bases","author":"gao","year":"2009","journal-title":"Master’s thesis"},{"article-title":"SINGULAR 4-1-0 — A computer algebra system for polynomial computations","year":"2016","author":"decker","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2013.2259540"},{"key":"ref3","first-page":"1048","article-title":"Formal Verification of Integer Multipliers by Combining Grobner ¨Basis with Logic Reduction","author":"sayed-ahmed","year":"2016","journal-title":"Design Automation Test in Europe Conference Exhibition (DATE)"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2017.37"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-014-0206-z"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024758"},{"key":"ref7","first-page":"1351","article-title":"Automated Test Generation for Debugging Arithmetic Circuits","author":"farimah farahmandi","year":"2016","journal-title":"Design Automation Test in Europe Conference Exhibition (DATE)"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744925"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.23919\/FMCAD.2017.8102237"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.2307\/2963593"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1007\/978-3-642-14295-6_5","article-title":"ABC: An Academic Industrial-Strength Verification Tool","volume":"6174","author":"brayton","year":"2010","journal-title":"Comput Aided Verif"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48892-8_16"}],"event":{"name":"2018 IFIP\/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)","start":{"date-parts":[[2018,10,8]]},"location":"Verona, Italy","end":{"date-parts":[[2018,10,10]]}},"container-title":["2018 IFIP\/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8642560\/8644718\/08644853.pdf?arnumber=8644853","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T03:26:50Z","timestamp":1598239610000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8644853\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/vlsi-soc.2018.8644853","relation":{},"subject":[],"published":{"date-parts":[[2018,10]]}}}