{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T11:31:16Z","timestamp":1763724676583,"version":"3.37.3"},"reference-count":22,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,10,28]],"date-time":"2023-10-28T00:00:00Z","timestamp":1698451200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,10,28]],"date-time":"2023-10-28T00:00:00Z","timestamp":1698451200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Key R&D Program of China","doi-asserted-by":"publisher","award":["2021ZD0114701,2020YFB2205501"],"award-info":[{"award-number":["2021ZD0114701,2020YFB2205501"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,10,28]]},"DOI":"10.1109\/iccad57390.2023.10323691","type":"proceedings-article","created":{"date-parts":[[2023,11,30]],"date-time":"2023-11-30T18:58:45Z","timestamp":1701370725000},"page":"01-09","source":"Crossref","is-referenced-by-count":6,"title":["MiniTNtk: An Exact Synthesis-based Method for Minimizing Transistor Network"],"prefix":"10.1109","author":[{"given":"Weihua","family":"Xiao","sequence":"first","affiliation":[{"name":"UM-SJTU Joint Inst. and"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shanshan","family":"Han","sequence":"additional","affiliation":[{"name":"UM-SJTU Joint Inst. and"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yue","family":"Yang","sequence":"additional","affiliation":[{"name":"UM-SJTU Joint Inst. and"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shaoze","family":"Yang","sequence":"additional","affiliation":[{"name":"UM-SJTU Joint Inst. and"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cheng","family":"Zheng","sequence":"additional","affiliation":[{"name":"UM-SJTU Joint Inst. and"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jingsong","family":"Chen","sequence":"additional","affiliation":[{"name":"Huawei Technologies Co., Ltd,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tingyuan","family":"Liang","sequence":"additional","affiliation":[{"name":"Huawei Technologies Co., Ltd,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lei","family":"Li","sequence":"additional","affiliation":[{"name":"Huawei Technologies Co., Ltd,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weikang","family":"Qian","sequence":"additional","affiliation":[{"name":"UM-SJTU Joint Inst. and"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23120-9_2"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s12633-021-01366-z"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS48785.2022.9937578"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1038\/s43246-022-00261-3"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2015.2410764"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.1992.276282"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.dam.2008.02.011"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/iccd.2010.5647772"},{"key":"ref9","article-title":"Functional composition paradigm and applications","author":"Martins","year":"2012","journal-title":"IWLS"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/81.238345"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1284480.1284511"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2007.895248"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10470-012-9874-z"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED.2009.4810315"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5139-3"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/tcad.2019.2897703"},{"key":"ref18","first-page":"502","article-title":"An extensible SAT-solver","author":"Niklas","year":"2003","journal-title":"SAT"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS48785.2022.9938008"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-40970-2_14"},{"key":"ref21","article-title":"Federal Univ. Rio Grande do Sul","volume-title":"Catalog of 53 handmade optimum switch networks","author":"Lab","year":"2012"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2448675"}],"event":{"name":"2023 IEEE\/ACM International Conference on Computer Aided Design (ICCAD)","start":{"date-parts":[[2023,10,28]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2023,11,2]]}},"container-title":["2023 IEEE\/ACM International Conference on Computer Aided Design (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10323590\/10323543\/10323691.pdf?arnumber=10323691","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,14]],"date-time":"2024-03-14T00:38:43Z","timestamp":1710376723000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10323691\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,28]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/iccad57390.2023.10323691","relation":{},"subject":[],"published":{"date-parts":[[2023,10,28]]}}}