Publications

Polynomial Bounds of CFLOBDDs against BDDs, Xusheng Zhi, Thomas Reps
Under Review; preprint available at arXiv: 2406.01525.