{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T09:58:05Z","timestamp":1740131885918,"version":"3.37.3"},"reference-count":15,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"12","license":[{"start":{"date-parts":[[2015,12,1]],"date-time":"2015-12-01T00:00:00Z","timestamp":1448928000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput."],"published-print":{"date-parts":[[2015,12,1]]},"DOI":"10.1109\/tc.2015.2409849","type":"journal-article","created":{"date-parts":[[2015,3,4]],"date-time":"2015-03-04T14:49:07Z","timestamp":1425480547000},"page":"3605-3618","source":"Crossref","is-referenced-by-count":10,"title":["Using Flexibility in P-Circuits by Boolean Relations"],"prefix":"10.1109","volume":"64","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0469-4201","authenticated-orcid":false,"given":"Anna","family":"Bernasconi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valentina","family":"Ciriani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriella","family":"Trucco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tiziano","family":"Villa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/43.784116"},{"key":"ref11","first-page":"109","article-title":"New generalizations of Shannon decomposition","author":"kerntopf","year":"0","journal-title":"Proc 4th Int Workshop Appl Reed Muller Expansion Circuit Des"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/92.250190"},{"article-title":"SIS: A system for sequential circuit synthesis","year":"1992","author":"sentovich","key":"ref13"},{"key":"ref14","first-page":"73","article-title":"Logic synthesis for disjunctions of Boolean functions","author":"sterin","year":"0","journal-title":"Proc IEEE\/ACM Int Workshop Logic Synthesis"},{"article-title":"Logic synthesis and optimization benchmarks user guide version 3.0","year":"1991","author":"yang","key":"ref15"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-7518-8_2"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090894"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.vlsi.2011.11.009"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.208"},{"key":"ref8","article-title":"Boolean relations and the incomplete specification of logic networks","author":"brayton","year":"0","journal-title":"Proc Int Conf Very Large Scale Integration Design"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.dam.2003.12.010","article-title":"The complexity of modular decomposition of boolean functions","volume":"149","author":"c","year":"2005","journal-title":"Discrete Appl Math"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2008.165"},{"key":"ref1","first-page":"416","article-title":"A recursive paradigm to solve Boolean relations","author":"ba\u00f1eres","year":"0","journal-title":"Proc ACM\/IEEE Des Autom Conf"},{"journal-title":"Introduction to Algorithms","year":"2009","author":"cormen","key":"ref9"}],"container-title":["IEEE Transactions on Computers"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/12\/7313054\/07054471.pdf?arnumber=7054471","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T11:45:50Z","timestamp":1641987950000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7054471\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12,1]]},"references-count":15,"journal-issue":{"issue":"12"},"URL":"https:\/\/doi.org\/10.1109\/tc.2015.2409849","relation":{},"ISSN":["0018-9340"],"issn-type":[{"type":"print","value":"0018-9340"}],"subject":[],"published":{"date-parts":[[2015,12,1]]}}}