CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams

Meghana Sistla, Swarat Chaudhuri, Thomas Reps

This paper presents a new compressed representation of Boolean functions, called CFLOBDDs (for Context-Free-Language Ordered Binary Decision Diagrams). They are essentially a plug-…