{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,26]],"date-time":"2026-09-26T21:49:37Z","timestamp":1790459377984,"version":"4.1.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,11]]},"DOI":"10.1109\/iccad.2014.7001372","type":"proceedings-article","created":{"date-parts":[[2015,1,13]],"date-time":"2015-01-13T15:11:15Z","timestamp":1421161875000},"page":"340-347","source":"Crossref","is-referenced-by-count":2,"title":["Towards formal evaluation and verification of probabilistic design"],"prefix":"10.1109","author":[{"given":"Nian-Ze","family":"Lee","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jie-Hong R.","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1023\/A:1017584715408"},{"key":"ref11","author":"mishchenko","year":"2005","journal-title":"FRAIGs A unifying representation for logic synthesis and verification ERL Technical Report"},{"key":"ref12","first-page":"114","article-title":"Cramming more components onto integrated circuits","author":"moore","year":"1965","journal-title":"Electronics"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/92.335013"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1983.20"},{"key":"ref15","year":"0"},{"key":"ref16","article-title":"Combining component caching and clause learning for effective model counting","author":"sang","year":"2004","journal-title":"Int'l Conf on Theory and Applications of Satisfiability Testing"},{"key":"ref17","article-title":"Stochastic integer programming: A tutorial","author":"schultz","year":"2001","journal-title":"Proc Int'l Conf on Stochastic Programming"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-5327-8_25"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2011.6105401"},{"key":"ref4","first-page":"633","article-title":"Model counting","author":"gomes","year":"2009","journal-title":"Handbook of Satisfiability"},{"key":"ref3","article-title":"From sampling to model counting","author":"gomes","year":"2007","journal-title":"Proc Int'l Joint Conf on Artifical intelligence (IJCAI'07)"},{"key":"ref6","year":"0"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1989.63561"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228509"},{"key":"ref7","first-page":"779","article-title":"Approximate logic synthesis under general error magnitude and frequency constraints","author":"jin","year":"2013","journal-title":"Proc Int'l Conf on Computer-Aided Design (ICCAD)"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-642-40627-0_18","article-title":"A scalable approximate model counter","author":"chakraborty","year":"2013","journal-title":"Proc Int'l Conf on Principles and Practice of Constraint Programming (CP)"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-74909-9_7"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2013.6691108"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228504"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2013.6691096"}],"event":{"name":"2014 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)","location":"San Jose, CA, USA","start":{"date-parts":[[2014,11,2]]},"end":{"date-parts":[[2014,11,6]]}},"container-title":["2014 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6991350\/7001313\/07001372.pdf?arnumber=7001372","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T23:34:26Z","timestamp":1498174466000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7001372\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/iccad.2014.7001372","relation":{},"subject":[],"published":{"date-parts":[[2014,11]]}}}