Efficient analysis and manipulation of OBDDs can be extended to FBDDs (1994)

by J Gergov, C Meinel
Venue:IEEE Transactions on Computers