Minimization of the expected path length in BDDs based on local changes.

Rdiger Ebendt, Wolfgang Gnther, Rolf Drechsler

Browse the full ASPDAC paper archive.