{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T05:38:41Z","timestamp":1769751521987,"version":"3.49.0"},"reference-count":17,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"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":["61871242,62274100"],"award-info":[{"award-number":["61871242,62274100"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,4]]},"DOI":"10.23919\/date56975.2023.10137287","type":"proceedings-article","created":{"date-parts":[[2023,6,2]],"date-time":"2023-06-02T19:32:57Z","timestamp":1685734377000},"page":"1-6","source":"Crossref","is-referenced-by-count":6,"title":["Exact Synthesis Based on Semi-Tensor Product Circuit Solver"],"prefix":"10.23919","author":[{"given":"Hongyang","family":"Pan","sequence":"first","affiliation":[{"name":"Ningbo University,Faculty of Electrical Engineering & Computer Science,Ningbo,China"}]},{"given":"Zhufei","family":"Chu","sequence":"additional","affiliation":[{"name":"Ningbo University,Faculty of Electrical Engineering & Computer Science,Ningbo,China"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24605-3_37"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8715185"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2019.2897703"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3195970.3196111"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD51958.2021.9643505"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30201-8_48"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s11424-007-9027-0"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1142\/8323"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/S0377-0427(00)00393-9"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICCA.2005.1528094"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CompComm.2018.8780746"},{"key":"ref12","volume-title":"The Art of Computer Programming","volume":"4A","author":"Knuth","year":"2011"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2016.7577306"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s11390-022-1981-4"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2017.7858312"},{"key":"ref16","article-title":"An approach to disjoint-support decomposition of logic functions","author":"Mishchenko","year":"2001","journal-title":"Elect. Eng. Comput. Sci."},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7927103"}],"event":{"name":"2023 Design, Automation & Test in Europe Conference & Exhibition (DATE)","location":"Antwerp, Belgium","start":{"date-parts":[[2023,4,17]]},"end":{"date-parts":[[2023,4,19]]}},"container-title":["2023 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10136870\/10136706\/10137287.pdf?arnumber=10137287","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,14]],"date-time":"2024-03-14T12:18:03Z","timestamp":1710418683000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10137287\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,4]]},"references-count":17,"URL":"https:\/\/doi.org\/10.23919\/date56975.2023.10137287","relation":{},"subject":[],"published":{"date-parts":[[2023,4]]}}}