{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T23:00:30Z","timestamp":1710370830924},"reference-count":13,"publisher":"International Academy Publishing (IAP)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSW"],"DOI":"10.4304\/jsw.7.6.1358-1366","type":"journal-article","created":{"date-parts":[[2012,6,6]],"date-time":"2012-06-06T08:16:07Z","timestamp":1338970567000},"source":"Crossref","is-referenced-by-count":5,"title":["Biddy \u2014 a Multi-platform Academic BDD Package"],"prefix":"10.17706","volume":"7","author":[{"given":"Robert","family":"Meolic","sequence":"first","affiliation":[]}],"member":"7163","published-online":{"date-parts":[[2012,6,1]]},"reference":[{"key":"ref1","volume-title":"Decision diagram techniques for micro- and nanoelectronic design handbook.","author":"Yanushkevich","year":"2006"},{"key":"ref2","volume-title":"Principles of Model Checking.","year":"2008"},{"issue":"No. 6","key":"ref3","first-page":"977","article-title":"Symbolic Representation for Rough Set Attribute Reduction Using Ordered Binary Decision Diagrams","volume":"6","author":"Wei","year":"2011","journal-title":"J. Softw.","ISSN":"http:\/\/id.crossref.org\/issn\/1000-9825","issn-type":"print"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1145\/123186.123222","article-title":"Efficient Implementation of a BDD Package","volume-title":"ACM\/IEEE Design Automation Conference (DAC'90)","author":"Brace","year":"1990"},{"key":"ref5","volume-title":"\"Representation of Boolean functions with ROBDDs\", 1993. Presented at IEEE Region 8 Student Paper Contest, Paris-Evry 1993. Published in: IEEE Student paper contest: regional contest winners 1990-1997","author":"\u010casar","year":"2000"},{"key":"ref6","first-page":"217","article-title":"A Consumer Report on BDD Packages","volume-title":"16th Symposium on Integrated Circuits and Systems Design","author":"Janssen","year":"2003"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1978.1675141"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1145\/123186.123225","article-title":"Shared Binary Decision Diagram with Attributed Edges for Efficient Boolean Function Manipulation","volume-title":"27th ACM\/IEEE Design Automation Conference (DAC'90)","author":"Minato","year":"1990"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1109\/ICCAD.1995.480018","article-title":"Binary Decision Diagrams and Beyond: Enabling Technologies for Formal Verification","volume-title":"IEEE\/ACM International Conference on Computer-Aided Design (ICCAD '95)","author":"Bryant","year":"1995"},{"key":"ref10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2892-7","volume-title":"Binary decision diagrams: theory and implementation.","author":"Drechsler","year":"1998"},{"key":"ref11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-58940-9","volume-title":"Algorithms and Data Structures in VLSI-Design: OBDD \u2013 Foundations and Applications.","author":"Meinel","year":"1998"},{"key":"ref12","volume-title":"Advanced BDD optimization.","author":"Ebendt","year":"2005"},{"issue":"No. 3","key":"ref13","first-page":"171","article-title":"Exploiting symbolic model checking for sensing stuck-at faults in digital circuits","volume":"32","author":"\u010casar","year":"2002","journal-title":"Inf. MIDEM"}],"container-title":["Journal of Software"],"original-title":[],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T15:43:03Z","timestamp":1497973383000},"score":1,"resource":{"primary":{"URL":"http:\/\/ojs.academypublisher.com\/index.php\/jsw\/article\/view\/5946"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6,1]]},"references-count":13,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2012,6,1]]}},"URL":"https:\/\/doi.org\/10.4304\/jsw.7.6.1358-1366","relation":{},"ISSN":["1796-217X"],"issn-type":[{"value":"1796-217X","type":"print"}],"subject":[],"published":{"date-parts":[[2012,6,1]]}}}