Sylvan: Multi-Core Decision Diagrams
No abstract available.
Related papers
- Multi-core On-The-Fly Saturation TACAS 2019
- Adiar Binary Decision Diagrams in External Memory TACAS 2022
- On Application of Multi-Rooted Binary Decision Diagrams to Probabilistic Model Checking VMCAI 2012
- FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams CAV 2025
- Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems POPL 2015
- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams TACAS 2018
- New Metrics for Static Variable Ordering in Decision Diagrams TACAS 2006
- Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams TACAS 2007