{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:35:38Z","timestamp":1725564938626},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,11]]},"DOI":"10.1109\/iccad.2010.5654275","type":"proceedings-article","created":{"date-parts":[[2010,12,11]],"date-time":"2010-12-11T03:29:13Z","timestamp":1292038153000},"page":"750-755","source":"Crossref","is-referenced-by-count":1,"title":["Engineering a scalable Boolean matching based on EDA SaaS 2.0"],"prefix":"10.1109","author":[{"given":"Chun","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yu","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lingli","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lei","family":"He","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiarong","family":"Tong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"17","DOI":"10.1145\/1723112.1723145"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1145\/1065579.1065693"},{"doi-asserted-by":"publisher","key":"16","DOI":"10.1109\/ICCAD.2008.4681549"},{"key":"13","first-page":"799","article-title":"Compressing binary decision diagrams","author":"hansen","year":"2008","journal-title":"Proceeding of the 2008 Conference on ECAI 2008"},{"key":"14","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1109\/ICCAD.2007.4397289","article-title":"Exploiting symmetry in SAT-based Boolean matching for heterogeneous FPGA technology mapping","author":"hu","year":"2007","journal-title":"ICCAD '07 Proceedings of the 2007 IEEE\/ACM international conference on Computer-aided design"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1109\/DAC.2005.193838"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1109\/43.945303"},{"year":"0","key":"3"},{"year":"0","key":"2"},{"year":"0","author":"service","key":"1"},{"year":"0","key":"10"},{"year":"0","key":"7"},{"year":"0","key":"6"},{"year":"0","key":"5"},{"year":"0","key":"4"},{"year":"0","key":"9"},{"year":"0","key":"8"}],"event":{"name":"2010 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)","start":{"date-parts":[[2010,11,7]]},"location":"San Jose, CA, USA","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\/05654275.pdf?arnumber=5654275","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T17:08:14Z","timestamp":1497892094000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5654275\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/iccad.2010.5654275","relation":{},"subject":[],"published":{"date-parts":[[2010,11]]}}}