Global rebuilding of OBDDs Avoiding Memory Requirement Maxima.

Jochen Bern, Christoph Meinel, Anna Slobodov

Browse the full CAV paper archive.