json: {"relationships": {"client": {"data": {"type": "clients", "id": "cmu.kilthub"}}}, "attributes": {"partCount": 0, "contributors": [], "versionCount": 0, "titles": [{"title": "Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams"}], "descriptions": [{"descriptionType": "Abstract", "description": "Ordered Binary Decision Diagrams (OBDDs) represent Boolean functions as directed acyclic\ngraphs. They form a canonical representation, making testing of functional properties such as\nsatisfiability and equivalence straightforward. In most application, their size remains manageable.\nA number of operations on Boolean functions can be implemented as graph algorithms on OBDD\ndata structures. Using OBDDs, researchers have solved a number of problems in digital system\ndesign, finite state system analysis, artificial intelligence, and mathematical logic. This paper\ndescribes the OBDD data structure, and surveys a number of applications that have been solved\nby OBDD-based symbolic analysis."}], "referenceCount": 0, "subjects": [{"subjectScheme": "FOR", "subject": "89999 Information and Computing Sciences not elsewhere classified"}, {"subjectScheme": "Fields of Science and Technology (FOS)", "schemeUri": "http://www.oecd.org/science/inno/38235147.pdf", "subject": "FOS: Computer and information sciences"}], "container": {}, "state": "findable", "created": "2018-06-30T06:24:16.000Z", "source": null, "metadataVersion": 0, "version": null, "isActive": true, "registered": "2018-06-30T06:24:17.000Z", "contentUrl": null, "geoLocations": [], "updated": "2020-07-14T15:23:06.000Z", "fundingReferences": [], "partOfCount": 0, "viewCount": 0, "versionOfCount": 0, "published": "2018", "dates": [{"date": "2018-06-19", "dateType": "Created"}, {"date": "2018-06-30", "dateType": "Updated"}, {"date": "2018", "dateType": "Issued"}], "relatedIdentifiers": [], "reason": null, "rightsList": [{"rightsUri": "http://rightsstatements.org/page/InC/1.0?language=en", "rights": "In Copyright"}], "schemaVersion": null, "types": {"resourceType": "Paper", "ris": "RPRT", "resourceTypeGeneral": "Text", "bibtex": "article", "citeproc": "article-journal", "schemaOrg": "ScholarlyArticle"}, "publisher": "Figshare", "publicationYear": 2018, "doi": "10.1184/r1/6610085", "language": null, "sizes": ["901215 Bytes"], "url": "https://figshare.com/articles/Symbolic_Boolean_Manipulation_with_Ordered_Binary_Decision_Diagrams/6610085", "identifiers": [{"identifier": "https://doi.org/10.1184/r1/6610085", "identifierType": "DOI"}], "citationCount": 0, "formats": [], "downloadCount": 0, "creators": [{"nameType": "Personal", "givenName": "Randal E.", "name": "Bryant, Randal E.", "familyName": "Bryant", "affiliation": []}]}, "type": "dois", "id": "10.1184/r1/6610085", "timestamp": 1594732986}