{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T15:56:42Z","timestamp":1780675002368,"version":"3.54.1"},"reference-count":15,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,1,17]],"date-time":"2022-01-17T00:00:00Z","timestamp":1642377600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,1,17]],"date-time":"2022-01-17T00:00:00Z","timestamp":1642377600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100008367","name":"SNF","doi-asserted-by":"publisher","award":["200021_1920981"],"award-info":[{"award-number":["200021_1920981"]}],"id":[{"id":"10.13039\/100008367","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000028","name":"SRC","doi-asserted-by":"publisher","award":["2867.001"],"award-info":[{"award-number":["2867.001"]}],"id":[{"id":"10.13039\/100000028","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,1,17]]},"DOI":"10.1109\/asp-dac52403.2022.9712526","type":"proceedings-article","created":{"date-parts":[[2022,2,21]],"date-time":"2022-02-21T22:39:17Z","timestamp":1645483157000},"page":"395-402","source":"Crossref","is-referenced-by-count":23,"title":["Boolean Rewriting Strikes Back: Reconvergence-Driven Windowing Meets Resynthesis"],"prefix":"10.1109","author":[{"given":"Heinz","family":"Riener","sequence":"first","affiliation":[{"name":"EPFL,Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Siang-Yun","family":"Lee","sequence":"additional","affiliation":[{"name":"EPFL,Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alan","family":"Mishchenko","sequence":"additional","affiliation":[{"name":"UC Berkeley,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Giovanni","family":"De Micheli","sequence":"additional","affiliation":[{"name":"EPFL,Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2002.804386"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/DDECS.2017.7934583"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2004.1382541"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147048"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/92.285741"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/296399.296425"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/PGEC.1963.263656"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2011.6081434"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8715185"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1990.129965"},{"key":"ref11","article-title":"The EPFL logic synthesis libraries","author":"Soeken","year":"2019","journal-title":"arXiv"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_5"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18072.2020.9218691"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/DDECS52668.2021.9417058"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2021.3108704"}],"event":{"name":"2022 27th Asia and South Pacific Design Automation Conference (ASP-DAC)","location":"Taipei, Taiwan","start":{"date-parts":[[2022,1,17]]},"end":{"date-parts":[[2022,1,20]]}},"container-title":["2022 27th Asia and South Pacific Design Automation Conference (ASP-DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9712466\/9712479\/09712526.pdf?arnumber=9712526","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,30]],"date-time":"2024-08-30T10:41:25Z","timestamp":1725014485000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9712526\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,1,17]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/asp-dac52403.2022.9712526","relation":{},"subject":[],"published":{"date-parts":[[2022,1,17]]}}}