Chain Reduction for Binary and Zero-Suppressed Decision Diagrams
Abstract elided by the publisher.
Related papers
- Binary Decision Diagrams with Edge-Specified Reductions TACAS 2019
- ZDD Boolean Synthesis TACAS 2022
- CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams TOPLAS 2024
- On Application of Multi-Rooted Binary Decision Diagrams to Probabilistic Model Checking VMCAI 2012
- Using Datalog with Binary Decision Diagrams for Program Analysis APLAS 2005
- PfComp: A Verified Compiler for Packet Filtering Leveraging Binary Decision Diagrams CPP 2024
- Cloning-based context-sensitive pointer alias analysis using binary decision diagrams PLDI 2004
- Lifted static analysis using a binary decision diagram abstract domain GPCE 2019