High Performance BDD Package Based on Exploiting Memory Hierarchy Proceedings of ACM/IEEE Design Automation Conference, June 1996 - Jagesh V. Sanghavi, Rajeev K. Ranjan, Robert K. Brayton and Alberto Sangiovanni-Vincentelli. This only contains the abstract. The full paper can be found here.
High Performance BDD Package Based on Exploiting Memory Hierarchy - Rajeev K. Ranjan, Jagesh V. Sanghavi, Robert K. Brayton and Alberto Sangiovanni-Vincentelli. A technical report version of the DAC paper.
Binary Decision Diagrams on Network of Workstations" Proceedings of IEEE/ACM International Conference on Computer Design, Oct. 1996, Austin, TX - Rajeev K. Ranjan, Jagesh V. Sanghavi, Robert. K. Brayton and Alberto Sangiovanni-Vincentelli.
Dynamic Reordering in a Breadth-First Manipulation Based BDD Package: Challenges and Solutions Proceedings of IEEE/ACM International Conference on Computer Design, Oct. 1997, Austin, TX - Rajeev K. Ranjan, Wilsin Gosti, Robert. K. Brayton and Alberto Sangiovanni-Vincentelli