{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T17:00:56Z","timestamp":1774630856667,"version":"3.50.1"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,11]]},"DOI":"10.1109\/iccad.2011.6105357","type":"proceedings-article","created":{"date-parts":[[2011,12,22]],"date-time":"2011-12-22T13:06:43Z","timestamp":1324559203000},"page":"375-382","source":"Crossref","is-referenced-by-count":36,"title":["Delay optimization using SOP balancing"],"prefix":"10.1109","author":[{"given":"Alan","family":"Mishchenko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Brayton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephen","family":"Jang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Victor","family":"Kravets","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/1723112.1723144"},{"key":"17","first-page":"15","article-title":"Scalable logic synthesis using a simple circuit structure","author":"mishchenko","year":"0","journal-title":"Proc IWLS '06"},{"key":"18","first-page":"354","article-title":"Combinational and sequential mapping with priority cuts","author":"mishchenko","year":"0","journal-title":"Proc ICCAD '07"},{"key":"15","first-page":"143","article-title":"A new enhanced constructive decomposition and mapping algorithm","author":"mishchenko","year":"0","journal-title":"DAC '03"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2006.229287"},{"key":"13","first-page":"64","article-title":"Fast generation of irredundant sum-of-products forms from binary decision diagrams","author":"minato","year":"0","journal-title":"Proc of SASIMI'92 (Synthesis and Simulation Meeting and International Interchange)"},{"key":"14","doi-asserted-by":"crossref","first-page":"504","DOI":"10.1109\/T-C.1970.222967","article-title":"recursive operators for prime implicant and irredundant normal form determination","volume":"c 19","author":"morreale","year":"1970","journal-title":"IEEE Transactions on Computers"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2002.804386"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1991.185226"},{"key":"21","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1145\/196244.196448","article-title":"performance optimization using exact sensitization","author":"saldanha","year":"1994","journal-title":"31st Design Automation Conference"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/275107.275118"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1988.122511"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2006.890583"},{"key":"24","author":"sentovich","year":"1992","journal-title":"SIS A system for sequential circuit synthesis"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1147\/rd.404.0407"},{"key":"3","first-page":"24","article-title":"ABC: An academic industrialstrength verification tool","volume":"6174","author":"brayton","year":"0","journal-title":"Proc 15th CAV"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.1990.112064"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/43.644605"},{"key":"1","year":"0","journal-title":"ABC A System for Sequential Synthesis and Verification"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/43.273754"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2010.5654210"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1278480.1278705"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2005.1560122"},{"key":"9","first-page":"438","article-title":"Implicit enumeration of structural changes in circuit optimization","author":"kravets","year":"2004","journal-title":"Proceedings 41st Design Automation Conference 2004 DAC"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1990.114927"}],"event":{"name":"2011 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)","location":"San Jose, CA, USA","start":{"date-parts":[[2011,11,7]]},"end":{"date-parts":[[2011,11,10]]}},"container-title":["2011 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6095474\/6105287\/06105357.pdf?arnumber=6105357","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T07:43:31Z","timestamp":1497944611000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6105357\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/iccad.2011.6105357","relation":{},"subject":[],"published":{"date-parts":[[2011,11]]}}}