Decomposition Techniques for Efficient ROBDD Construction.

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

Browse the full FMCAD paper archive.