works on
hierarchical cost expressions 1min/max operations 1moment computation 1probabilistic cost analysis 1static analysis 1

From the 1 of 6 linked papers with an AI index.

collaborators
Showing cs.FLShow all

1 paper · 1 filter

cs.FL2026

Do CFLOBDDs Actually Make Use of Linear Structure?

Meghana Aparna Sistla, Swarat Chaudhuri, Thomas W. Reps

Binary Decision Diagrams (BDDs) are a widely used data structure for efficient Boolean function representation. Context-Free-Language Ordered Binary Decision Diagrams (CFLOBDDs) ar…