{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T00:06:20Z","timestamp":1780445180187,"version":"3.54.1"},"reference-count":27,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,7,9]],"date-time":"2023-07-09T00:00:00Z","timestamp":1688860800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,7,9]],"date-time":"2023-07-09T00:00:00Z","timestamp":1688860800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,7,9]]},"DOI":"10.1109\/dac56929.2023.10247828","type":"proceedings-article","created":{"date-parts":[[2023,9,15]],"date-time":"2023-09-15T17:31:31Z","timestamp":1694799091000},"page":"1-6","source":"Crossref","is-referenced-by-count":31,"title":["Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks"],"prefix":"10.1109","author":[{"given":"Nan","family":"Wu","sequence":"first","affiliation":[{"name":"University of California,Santa Barbara"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yingjie","family":"Li","sequence":"additional","affiliation":[{"name":"University of Utah"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cong","family":"Hao","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Steve","family":"Dai","sequence":"additional","affiliation":[{"name":"NVIDIA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cunxi","family":"Yu","sequence":"additional","affiliation":[{"name":"University of Utah"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yuan","family":"Xie","sequence":"additional","affiliation":[{"name":"Alibaba DAMO Academy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.23919\/FMCAD.2019.8894250"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD51958.2021.9643581"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2013.6581568"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3316781.3317780"},{"key":"ref11","article-title":"Inductive representation learning on large graphs","author":"hamilton","year":"2017","journal-title":"Proc NeurIPS"},{"key":"ref10","article-title":"Template-based circuit understanding","author":"gasc\u00f3n","year":"2014","journal-title":"Proc FMCAD"},{"key":"ref2","article-title":"Gnn-re: Graph neural networks for reverse engineering of gate-level netlists","author":"alrahis","year":"2021","journal-title":"IEEE TCAD"},{"key":"ref1","article-title":"A survey on homomorphic encryption schemes: Theory and implementation","author":"acar","year":"2018","journal-title":"CSUR"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3489517.3530605"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3316781.3317898"},{"key":"ref19","author":"sentovich","year":"1992","journal-title":"SIS A system for sequential circuit synthesis"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147048"},{"key":"ref24","article-title":"Standard cell library design and optimization methodology for asap7 pdk","author":"xu","year":"2017","journal-title":"Proc ICCAD"},{"key":"ref23","article-title":"A survey of machine learning for computer architecture and systems","author":"wu","year":"2022","journal-title":"ACM Comput Surveys"},{"key":"ref26","article-title":"Fast algebraic rewriting based on and-inverter graphs","author":"yu","year":"2017","journal-title":"IEEE TCAD"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2547898"},{"key":"ref20","article-title":"Reverse engineering digital circuits using structural and functional analyses","author":"subramanyan","year":"2013","journal-title":"IEEE TETC"},{"key":"ref22","article-title":"Principles of risk minimization for learning theory","author":"vapnik","year":"1991","journal-title":"Proc NeurIPS"},{"key":"ref21","article-title":"Sound and automated verification of real-world rtl multipliers","author":"temel","year":"2021","journal-title":"Proc FMCAD"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3526241.3530330"},{"key":"ref8","article-title":"Fast graph representation learning with PyTorch Geometric","author":"fey","year":"2019","journal-title":"ICLR Workshop on Representation Learning on Graphs and Manifolds"},{"key":"ref7","article-title":"Understanding algebraic rewriting for arithmetic circuit verification: a bit-flow model","author":"ciesielski","year":"2019","journal-title":"IEEE TCAD"},{"key":"ref9","author":"foster","year":"0","journal-title":"The 2022 wilson research group functional verification study"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_5"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3464959"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3193121"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3508352.3549471"}],"event":{"name":"2023 60th ACM\/IEEE Design Automation Conference (DAC)","location":"San Francisco, CA, USA","start":{"date-parts":[[2023,7,9]]},"end":{"date-parts":[[2023,7,13]]}},"container-title":["2023 60th ACM\/IEEE Design Automation Conference (DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10247654\/10247655\/10247828.pdf?arnumber=10247828","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,2]],"date-time":"2023-10-02T17:42:02Z","timestamp":1696268522000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10247828\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,9]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/dac56929.2023.10247828","relation":{},"subject":[],"published":{"date-parts":[[2023,7,9]]}}}