Binary Decision Graphs
Abstract elided by the publisher.
Related papers
- Cloning-based context-sensitive pointer alias analysis using binary decision diagrams PLDI 2004
- CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams TOPLAS 2024
- Strategy Representation by Decision Trees in Reactive Synthesis TACAS 2018
- A Binary Decision Tree Abstract Domain Functor SAS 2015
- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams TACAS 2018
- A Decision Procedure for Sets, Binary Relations and Partial Functions CAV 2016
- 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