Efficient Binary Decision Diagram Manipulation by Reducing the Number of Intermediate Nodes.

Rune Krauss, Mehran Goli, Rolf Drechsler

Browse the full DDECS paper archive.