{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:40:57Z","timestamp":1729665657280,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,1]]},"DOI":"10.1109\/aspdac.2014.6742980","type":"proceedings-article","created":{"date-parts":[[2014,2,21]],"date-time":"2014-02-21T21:20:31Z","timestamp":1393017631000},"page":"750-755","source":"Crossref","is-referenced-by-count":5,"title":["Efficient parallel GPU algorithms for BDD manipulation"],"prefix":"10.1109","author":[{"given":"Miroslav N.","family":"Velev","sequence":"first","affiliation":[]},{"given":"Ping","family":"Gao","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Moore's Law 'We See No End in Sight' Says Intel's Pat Gelsinger","year":"2008","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/240518.240639"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.1998.658762"},{"journal-title":"NVIDIA CUDA Architecture Introduction & Overview","year":"0","key":"14"},{"key":"11","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1007\/3-540-49519-3_32","article-title":"BDDNOW: A Parallel BDD Package","volume":"1522","author":"milvang-jensen","year":"1998","journal-title":"Formal Methods in Computed Aided Design (FMCAD)"},{"key":"12","article-title":"Faster evaluation of ZBDD compressed multi-linear functions with GPU parallelism","author":"minato","year":"2011","journal-title":"Research Report C-274 Dept of Math & Comp Science"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1990.114826"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0031663"},{"key":"10","first-page":"311","article-title":"Implementing survey propagation on graphics processing units","author":"manolios","year":"2006","journal-title":"International Conference on Theory and Applications of Satisfiability Testing (SAT'06)"},{"journal-title":"Efficient Hash Tables on the GPU","year":"2011","author":"alcantara","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1785481.1785511"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1687399.1687451"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/136035.136043"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"journal-title":"GPU Computing Gems Jade Edition","year":"2011","author":"hwu","key":"9"},{"journal-title":"Multicore-enabling a Binary Decision Diagram Algorithm","year":"2009","author":"he","key":"8"}],"event":{"name":"2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC)","start":{"date-parts":[[2014,1,20]]},"location":"Singapore","end":{"date-parts":[[2014,1,23]]}},"container-title":["2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6736726\/6742831\/06742980.pdf?arnumber=6742980","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T08:21:08Z","timestamp":1498119668000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6742980\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/aspdac.2014.6742980","relation":{},"subject":[],"published":{"date-parts":[[2014,1]]}}}