Publications

Polynomial Bounds of CFLOBDDs against BDDs, Xusheng Zhi, Thomas Reps
Just accpeted, TOPLAS; DOI: 10.1145/3716313.