S. Purwar;A. K. Susskind
-;-
Forward and Inverse Transformations Between Haar Spectra and Ordered Binary Decision Diagrams of Boolean Functions
IEEE Transactions on Computers