{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T16:33:18Z","timestamp":1773246798070,"version":"3.50.1"},"reference-count":34,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T00:00:00Z","timestamp":1761436800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T00:00:00Z","timestamp":1761436800000},"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":[[2025,10,26]]},"DOI":"10.1109\/iccad66269.2025.11240954","type":"proceedings-article","created":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T18:39:34Z","timestamp":1763663974000},"page":"1-9","source":"Crossref","is-referenced-by-count":1,"title":["GROOT: Graph Edge Re-growth and Partitioning for the Verification of Large Designs in Logic Synthesis"],"prefix":"10.1109","author":[{"given":"Kiran","family":"Thorat","sequence":"first","affiliation":[{"name":"University of Connecticut"}]},{"given":"Hongwu","family":"Peng","sequence":"additional","affiliation":[{"name":"University of Connecticut"}]},{"given":"Yuebo","family":"Luo","sequence":"additional","affiliation":[{"name":"University of Minnesota"}]},{"given":"Xi","family":"Xie","sequence":"additional","affiliation":[{"name":"University of Connecticut"}]},{"given":"Shaoyi","family":"Huang","sequence":"additional","affiliation":[{"name":"University of Connecticut"}]},{"given":"Amit","family":"Hasan","sequence":"additional","affiliation":[{"name":"University of Connecticut"}]},{"given":"Jiahui","family":"Zhao","sequence":"additional","affiliation":[{"name":"University of Connecticut"}]},{"given":"Yingjie","family":"Li","sequence":"additional","affiliation":[{"name":"University of Maryland"}]},{"given":"Zhijie","family":"Shi","sequence":"additional","affiliation":[{"name":"University of Connecticut"}]},{"given":"Cunxi","family":"Yu","sequence":"additional","affiliation":[{"name":"University of Maryland"}]},{"given":"Caiwen","family":"Ding","sequence":"additional","affiliation":[{"name":"University of Minnesota"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/B978-0-12-374364-0.50013-8","article-title":"Chapter 6 - logic synthesis in a nutshell","volume-title":"Electronic Design Automation","author":"Jiang","year":"2009"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3543853"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1515\/itit-2022-0039"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2017.2772854"},{"key":"ref5","first-page":"1048","article-title":"Formal verification of integer multipliers by combining gr\u00f6bner basis with logic reduction","volume-title":"2016 Design, Automation Test in Europe Conference Exhibition (DATE)","author":"Sayed-Ahmed"},{"key":"ref6","article-title":"ABC: A system for sequential synthesis and verification","author":"Mishchenko"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/DAC56929.2023.10247828"},{"key":"ref8","article-title":"Fast graph representation learning with pytorch geometric","author":"Fey","year":"2019"},{"key":"ref9","article-title":"Cusparse library","volume-title":"GPU Technology Conference (GTC)","author":"Naumov"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ISPASS57527.2023.00023"},{"key":"ref11","article-title":"Gnnadvisor: An efficient runtime system for gnn acceleration on gpus","volume-title":"Proceedings of the USENIX Symposium on Operating Systems Design and Implementation (OSDI\u201921)","author":"Wang"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744925"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2547898"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.23919\/FMCAD.2019.8894250"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2006.153"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1995.250005"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2005.1560080"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3489517.3530605"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2019.2912944"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41320-9_16"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TETC.2013.2294918"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/mcse.2005.52"},{"key":"ref24","first-page":"1","article-title":"High precision financial analytics on gpus","volume-title":"Proceedings of the First Workshop on High Performance Computational Finance","author":"Hull"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04101-3"},{"key":"ref26","article-title":"Semi-supervised classification with graph convolutional networks","author":"Kipf","year":"2016"},{"key":"ref27","article-title":"Learning a SAT solver from single-bit supervision","volume-title":"CoRR","volume":"abs\/1802.03685","author":"Selsam","year":"2018"},{"key":"ref28","first-page":"1","article-title":"High performance graph convolutionai networks with applications in testability analysis","volume-title":"2019 56th ACM\/IEEE Design Automation Conference (DAC)","author":"Ma"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147048"},{"key":"ref30","article-title":"Inductive representation learning on large graphs","author":"Hamilton","year":"2017"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1137\/s1064827595287997"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ICPADS.2009.30"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1142\/S0129626411000187"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/iccad.2017.8203890"}],"event":{"name":"2025 IEEE\/ACM International Conference On Computer Aided Design (ICCAD)","location":"Munich, Germany","start":{"date-parts":[[2025,10,26]]},"end":{"date-parts":[[2025,10,30]]}},"container-title":["2025 IEEE\/ACM International Conference On Computer Aided Design (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11240608\/11240621\/11240954.pdf?arnumber=11240954","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T05:46:42Z","timestamp":1763704002000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11240954\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,26]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/iccad66269.2025.11240954","relation":{},"subject":[],"published":{"date-parts":[[2025,10,26]]}}}