18 citations · 21 across the 6 of their papers we have counts for
3 papers · 1 filter
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…
Weighted Context-Free-Language Ordered Binary Decision Diagrams
Meghana Sistla, Swarat Chaudhuri, Thomas Reps
This paper presents a new data structure, called \emph{Weighted Context-Free-Language Ordered BDDs} (WCFLOBDDs), which are a hierarchically structured decision diagram, akin to Wei…
Symbolic Quantum Simulation with Quasimodo
Meghana Sistla, Swarat Chaudhuri, Thomas Reps
The simulation of quantum circuits on classical computers is an important problem in quantum computing. Such simulation requires representations of distributions over very large se…