A study of composition schemes for mixed apply/compose based construction of ROBDDs.

Amit Narayan, Sunil P. Khatri, Jawahar Jain, Masahiro Fujita, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

Browse the full VLSID paper archive.