{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T16:30:18Z","timestamp":1773246618904,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,7,10]],"date-time":"2022-07-10T00:00:00Z","timestamp":1657411200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,7,10]]},"DOI":"10.1145\/3489517.3530462","type":"proceedings-article","created":{"date-parts":[[2022,8,23]],"date-time":"2022-08-23T23:19:29Z","timestamp":1661296769000},"page":"427-432","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["NovelRewrite"],"prefix":"10.1145","author":[{"given":"Shiju","family":"Lin","sequence":"first","affiliation":[{"name":"CUHK"}]},{"given":"Jinwei","family":"Liu","sequence":"additional","affiliation":[{"name":"CUHK"}]},{"given":"Tianji","family":"Liu","sequence":"additional","affiliation":[{"name":"CUHK"}]},{"given":"Martin D. F.","family":"Wong","sequence":"additional","affiliation":[{"name":"CUHK"}]},{"given":"Evangeline F. Y.","family":"Young","sequence":"additional","affiliation":[{"name":"CUHK"}]}],"member":"320","published-online":{"date-parts":[[2022,8,23]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Luca Gaetano Amar\u00f9 Pierre-Emmanuel Gaillardon and Giovanni De Micheli. 2015. The EPFL Combinational Benchmark Suite."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2488484"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2004.1382541"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2017.7858312"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2011.6081434"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147048"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2484299"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD51958.2021.9643521"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993316.1993501"},{"key":"e_1_3_2_1_10_1","volume-title":"Unlocking Fine-Grain Parallelism for AIG Rewriting. In 2018 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD). 1--8.","author":"Possan Vinicius","year":"2018","unstructured":"Vinicius Possan, Yi-Shan Lu, Alan Mishchenko, Keshav Pingali, Renato Ribas, and Andre Reis. 2018. Unlocking Fine-Grain Parallelism for AIG Rewriting. In 2018 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD). 1--8."},{"key":"e_1_3_2_1_11_1","volume-title":"Automation Test in Europe Conference Exhibition (DATE). 1030--1035","author":"Soeken Mathias","year":"2016","unstructured":"Mathias Soeken, Luca Gaetano Amar\u00f9, Pierre-Emmanuel Gaillardon, and Giovanni de Micheli. 2016. Optimizing Majority-Inverter Graphs with functional hashing. In 2016 Design, Automation Test in Europe Conference Exhibition (DATE). 1030--1035."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429384.2429513"}],"event":{"name":"DAC '22: 59th ACM\/IEEE Design Automation Conference","location":"San Francisco California","acronym":"DAC '22","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE CEDA"]},"container-title":["Proceedings of the 59th ACM\/IEEE Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3489517.3530462","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3489517.3530462","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:18:39Z","timestamp":1750191519000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3489517.3530462"}},"subtitle":["node-level parallel AIG rewriting"],"short-title":[],"issued":{"date-parts":[[2022,7,10]]},"references-count":12,"alternative-id":["10.1145\/3489517.3530462","10.1145\/3489517"],"URL":"https:\/\/doi.org\/10.1145\/3489517.3530462","relation":{},"subject":[],"published":{"date-parts":[[2022,7,10]]},"assertion":[{"value":"2022-08-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}