The Size of Reduced OBDDs and Optimal Read-once Branching Programs for Almost all Boolean Functions.

Ingo Wegener

Browse the full WG paper archive.