Indexed BDDs: Algorithmic advances in techniques to represent and verify boolean functions (1997)

by J Jain, J Bitner, M S Abadir, J A Abraham, D S Fussell
Venue:In IEEE Transactions on Computers