Efficient manipulation algorithms for linearly transformed BDDs.

Wolfgang Gnther, Rolf Drechsler

Browse the full ICCAD paper archive.