Reducing BDD Size by Exploiting Functional Dependencies.

Alan J. Hu, David L. Dill

Browse the full DAC paper archive.