Binary Decision Diagrams: From abstract representations to physical implementations.

Jose S. Metos, John V. Oldfield

Browse the full DAC paper archive.