On the computational power of linearly transformed BDDs

Application of linearly transformed BDDs in sequential verification

Proceedings of the 2001 Asia and South Pacific Design Automation Conference

A 3-step approach for performance-driven whole-chip routing

Proceedings of the 2001 Asia and South Pacific Design Automation Conference

Lower bounds for linearly transformed OBDDs and FBDDs

Journal of Computer and System Sciences

Efficient Minimization and Manipulation of Linearly Transformed Binary Decision Diagrams

IEEE Transactions on Computers