New Metrics for Static Variable Ordering in Decision Diagrams
No abstract available.
Related papers
- i _\mathrm Rank : A Variable Order Metric for DEDS Subject to Linear Invariants TACAS 2019
- Lifted static analysis using a binary decision diagram abstract domain GPCE 2019
- Weighted Context-Free-Language Ordered Binary Decision Diagrams OOPSLA 2024
- CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams TOPLAS 2024
- Binary Decision Diagrams with Edge-Specified Reductions TACAS 2019
- Polynomial Bounds of CFLOBDDs against BDDs TOPLAS 2025
- The Octahedron Abstract Domain SAS 2004
- Sylvan: Multi-Core Decision Diagrams TACAS 2015