Export Citations
1 Results for: Keyword: Decision diagram
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,783,447 records)|Limit your search to The ACM Full-Text Collection (765,386 records)
Showing 1 - 1of1 Results
Select All
- research-articleMay 2024
CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams
ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 46, Issue 2Article No.: 7, Pages 1–82https://doi.org/10.1145/3651157This article presents a new compressed representation of Boolean functions, called CFLOBDDs (for Context-Free-Language Ordered Binary Decision Diagrams). They are essentially a plug-compatible alternative to BDDs (Binary Decision Diagrams), and hence are ...