Publications

Polynomial Bounds of CFLOBDDs against BDDs
Xusheng Zhi, Thomas Reps
ACM Transactions on Programming Languages and Systems (TOPLAS), 2025. DOI: 10.1145/3716313