{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:43:21Z","timestamp":1740102201103,"version":"3.37.3"},"reference-count":20,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,7,9]],"date-time":"2023-07-09T00:00:00Z","timestamp":1688860800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,7,9]],"date-time":"2023-07-09T00:00:00Z","timestamp":1688860800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100020950","name":"National Science and Technology Council","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100020950","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,7,9]]},"DOI":"10.1109\/dac56929.2023.10247813","type":"proceedings-article","created":{"date-parts":[[2023,9,15]],"date-time":"2023-09-15T17:31:31Z","timestamp":1694799091000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["Don\u2019t-Care Aware ESOP Extraction via Reduced Decomposition-Tree Exploration"],"prefix":"10.1109","author":[{"given":"Chun-Yu","family":"Wei","sequence":"first","affiliation":[{"name":"National Taiwan University,Graduate Institute of Electronics Engineering,Taipei,Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jie-Hong R.","family":"Jiang","sequence":"additional","affiliation":[{"name":"National Taiwan University,Graduate Institute of Electronics Engineering,Taipei,Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","first-page":"287","author":"sasao","year":"1993","journal-title":"AND-EXOR Expressions and Their Optimization"},{"key":"ref12","article-title":"Fast heuristic minimization of exclusive-sums-of-products","author":"mishchenko","year":"2001","journal-title":"Proc RM"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2019.00011"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/12.795226"},{"key":"ref20","article-title":"The EPFL combinational benchmark suite","author":"amar\u00fa","year":"2015","journal-title":"Proc IWLS"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/43.494702"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-20323-8_8"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1973009.1973013"},{"key":"ref1","first-page":"29","author":"sasao","year":"1996","journal-title":"Representations of Logic Functions Using EXOR Operators"},{"key":"ref17","first-page":"24","article-title":"ABC: An academic industrial-strength verification tool","author":"brayton","year":"2010","journal-title":"Proc CAV"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1990.129859"},{"article-title":"The EPFL logic synthesis libraries","year":"2022","author":"soeken","key":"ref19"},{"journal-title":"CUDD CU decision diagram package (release 2 4 1)","year":"2005","author":"somenzi","key":"ref18"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ISSOC.2008.4694879"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126607003605"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-21500-2_12"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2859251"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2006.871622"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1038\/s41534-021-00514-y"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8715275"}],"event":{"name":"2023 60th ACM\/IEEE Design Automation Conference (DAC)","start":{"date-parts":[[2023,7,9]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2023,7,13]]}},"container-title":["2023 60th ACM\/IEEE Design Automation Conference (DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10247654\/10247655\/10247813.pdf?arnumber=10247813","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,2]],"date-time":"2023-10-02T17:41:55Z","timestamp":1696268515000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10247813\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,9]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/dac56929.2023.10247813","relation":{},"subject":[],"published":{"date-parts":[[2023,7,9]]}}}