{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,21]],"date-time":"2025-12-21T06:23:34Z","timestamp":1766298214140,"version":"3.37.3"},"reference-count":18,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T00:00:00Z","timestamp":1635724800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T00:00:00Z","timestamp":1635724800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T00:00:00Z","timestamp":1635724800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62090021"],"award-info":[{"award-number":["62090021"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,11,1]]},"DOI":"10.1109\/iccad51958.2021.9643587","type":"proceedings-article","created":{"date-parts":[[2021,12,23]],"date-time":"2021-12-23T23:06:46Z","timestamp":1640300806000},"page":"1-9","source":"Crossref","is-referenced-by-count":6,"title":["Enhanced Fast Boolean Matching based on Sensitivity Signatures Pruning"],"prefix":"10.1109","author":[{"given":"Jiaxi","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Liwei","family":"Ni","sequence":"additional","affiliation":[]},{"given":"Shenggen","family":"Zheng","sequence":"additional","affiliation":[]},{"given":"Hao","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Xiangfu","family":"Zou","sequence":"additional","affiliation":[]},{"given":"Feng","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Guojie","family":"Luo","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10586-018-1787-x"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.243959"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.923256"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.4153\/CJM-1953-020-x"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1992.279337"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2004.1337660"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3240765.3240785"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/DCAS.2006.321050"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1080\/10655140290009800"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1098-2418(199805)12:3<253::AID-RSA3>3.0.CO;2-U"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1006\/jagm.1997.0867"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00144-X"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.2000.1727"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ISIT.2017.8006528"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1137\/0220062"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/800070.802196"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/264995.264996"},{"key":"ref9","article-title":"Fast Boolean matching for small practical functions","author":"huang","year":"0","journal-title":"Int l Workshop Logic Synthesis"}],"event":{"name":"2021 IEEE\/ACM International Conference On Computer Aided Design (ICCAD)","start":{"date-parts":[[2021,11,1]]},"location":"Munich, Germany","end":{"date-parts":[[2021,11,4]]}},"container-title":["2021 IEEE\/ACM International Conference On Computer Aided Design (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9643423\/9643432\/09643587.pdf?arnumber=9643587","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T16:55:13Z","timestamp":1652201713000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9643587\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,1]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/iccad51958.2021.9643587","relation":{},"subject":[],"published":{"date-parts":[[2021,11,1]]}}}