Dynamic minimization of OKFDDs.

Rolf Drechsler, Bernd Becker

Browse the full ICCD paper archive.