{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T06:50:19Z","timestamp":1774421419515,"version":"3.50.1"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,11]]},"DOI":"10.1109\/iccad.2010.5654210","type":"proceedings-article","created":{"date-parts":[[2010,12,11]],"date-time":"2010-12-11T03:29:13Z","timestamp":1292038153000},"page":"586-591","source":"Crossref","is-referenced-by-count":12,"title":["Bi-decomposition of large Boolean functions using blocking edge graphs"],"prefix":"10.1109","author":[{"given":"Mihir","family":"Choudhury","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kartik","family":"Mohanram","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2002.1013899"},{"key":"2","author":"hachtel","year":"2000","journal-title":"Logic Synthesis and Verification"},{"key":"10","year":"0"},{"key":"1","author":"de micheli","year":"1994","journal-title":"Synthesis and Optimization of Digital Circuits"},{"key":"7","first-page":"161","article-title":"Synthesis of multi-level circuits using exor-gates","author":"steinbach","year":"1995","journal-title":"Proc Workshop on Applications of the Reed-Muller Expansion in Circuit Design"},{"key":"6","first-page":"32","article-title":"To SAT or not to SAT: Ashenhurst decomposition in a large scale","author":"lin","year":"2008","journal-title":"Pmc Intl Conference Computer-aided Design"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.156117"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICASIC.2005.1611422"},{"key":"9","year":"0","journal-title":"ABC Logic Synthesis Tool"},{"key":"8","article-title":"SIS: A system for sequential circuit synthesis","author":"sentovich","year":"1992","journal-title":"Tech Rep UCB\/ERI M92\/41"},{"key":"11","year":"0","journal-title":"The Igraph Library for Complex Network Research"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2004.60"}],"event":{"name":"2010 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)","location":"San Jose, CA, USA","start":{"date-parts":[[2010,11,7]]},"end":{"date-parts":[[2010,11,11]]}},"container-title":["2010 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5638200\/5648785\/05654210.pdf?arnumber=5654210","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T10:58:26Z","timestamp":1490093906000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5654210\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/iccad.2010.5654210","relation":{},"subject":[],"published":{"date-parts":[[2010,11]]}}}