Indexed BDDs: Algorithmic Advances in Techniques to Represent and Verify Boolean Functions

Jawahar Jain, James R. Bitner, Magdy S. Abadir, Jacob A. Abraham, Donald S. Fussell. Indexed BDDs: Algorithmic Advances in Techniques to Represent and Verify Boolean Functions. IEEE Transactions on Computers, 46(11):1230-1245, 1997.

Abstract

Abstract is missing.