Efficient Implementation of a BDD Package.

Karl S. Brace, Richard L. Rudell, Randal E. Bryant

Browse the full DAC paper archive.