Tagged BDDs: Combining reduction rules from different decision diagram types.

Tom van Dijk, Robert Wille, Robert Meolic

Browse the full FMCAD paper archive.