On the Complexity of Constructing Optimal Ordered Binary Decision Diagrams.

Christoph Meinel, Anna Slobodov

Browse the full MFCS paper archive.