Sciweavers

ICCD
1997
IEEE
78views Hardware» more  ICCD 1997»
14 years 4 months ago
Speeding up Variable Reordering of OBDDs
In this paper, we suggest a block-restricted sifting strategy which is based on the restriction of Rudell's sifting to certain blocks of variables. The application of this st...
Christoph Meinel, Anna Slobodová