Determining the Number of Paths in Decision Diagrams by Using Autocorrelation Coefficients

Osnat Keren, Ilya Levin, Radomir S. Stankovic. Determining the Number of Paths in Decision Diagrams by Using Autocorrelation Coefficients. IEEE Trans. on CAD of Integrated Circuits and Systems, 30(1):31-44, 2011. [doi]

Abstract

Abstract is missing.