Speeding up Variable Reordering of OBDDs.

Christoph Meinel, Anna Slobodov

Browse the full ICCD paper archive.