Partitioned ROBDDs - a compact, canonical and efficiently manipulable representation for Boolean functions.

Amit Narayan, Jawahar Jain, Masahiro Fujita, Alberto L. Sangiovanni-Vincentelli

Browse the full ICCAD paper archive.