{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,17]],"date-time":"2025-09-17T06:12:26Z","timestamp":1758089546856,"version":"3.44.0"},"reference-count":26,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,6,22]],"date-time":"2025-06-22T00:00:00Z","timestamp":1750550400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,6,22]],"date-time":"2025-06-22T00:00:00Z","timestamp":1750550400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,6,22]]},"DOI":"10.1109\/dac63849.2025.11132893","type":"proceedings-article","created":{"date-parts":[[2025,9,15]],"date-time":"2025-09-15T17:35:41Z","timestamp":1757957741000},"page":"1-7","source":"Crossref","is-referenced-by-count":0,"title":["ELF: Efficient Logic Synthesis by Pruning Redundancy in Refactoring"],"prefix":"10.1109","author":[{"given":"Dimitris","family":"Tsaras","sequence":"first","affiliation":[{"name":"The Hong Kong University of Science and Technology,Hong Kong"}]},{"given":"Xing","family":"Li","sequence":"additional","affiliation":[{"name":"Noah’s Ark Lab,Huawei,Hong Kong"}]},{"given":"Lei","family":"Chen","sequence":"additional","affiliation":[{"name":"Noah’s Ark Lab,Huawei,Hong Kong"}]},{"given":"Zhiyao","family":"Xie","sequence":"additional","affiliation":[{"name":"The Hong Kong University of Science and Technology,Hong Kong"}]},{"given":"Mingxuan","family":"Yuan","sequence":"additional","affiliation":[{"name":"Noah’s Ark Lab,Huawei,Hong Kong"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/dac.2006.229287"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2007.4397290"},{"key":"ref3","article-title":"Sat-based logic optimization and resynthesis","author":"Brayton","year":"2007","journal-title":"IWLS"},{"key":"ref4","article-title":"Majority-inverter graph: A new paradigm for logic optimization","author":"Amaru","year":"2015","journal-title":"ICCAD"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7927103"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3287624.3287671"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ASP-DAC52403.2022.9712526"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18074.2021.9586230"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3195970.3196026"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3400302.3415615"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.23919\/date54114.2022.9774632"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3489517.3530460"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3508352.3549363"},{"key":"ref14","article-title":"The epfl combinational benchmark suite","author":"Amar\u00fa","year":"2015","journal-title":"IWLS"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3240765.3240861"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3489517.3530462"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_5"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/PGEC.1963.263531"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2018.8342108"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/iccd.2011.6081434"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD57390.2023.10323902"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-7687-1_79"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1613\/jair.953"},{"key":"ref24","article-title":"Addressing the curse of imbalanced training sets: One-sided selection","author":"Kubat","year":"1997","journal-title":"ICML"},{"key":"ref25","article-title":"Visualizing data using t-sne","author":"Van der Maaten","year":"2008","journal-title":"Journal of machine learning research"},{"key":"ref26","article-title":"A unified approach to interpreting model predictions","author":"Lundberg","year":"2017","journal-title":"NIPS"}],"event":{"name":"2025 62nd ACM\/IEEE Design Automation Conference (DAC)","start":{"date-parts":[[2025,6,22]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2025,6,25]]}},"container-title":["2025 62nd ACM\/IEEE Design Automation Conference (DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11132383\/11132091\/11132893.pdf?arnumber=11132893","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,16]],"date-time":"2025-09-16T05:22:28Z","timestamp":1758000148000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11132893\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,22]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/dac63849.2025.11132893","relation":{},"subject":[],"published":{"date-parts":[[2025,6,22]]}}}