“…A thorough complexity analysis of BMP-GMDD should include, besides pure algorithmic aspects, implementation implications in terms of memory requirements, wiring, and transistor switching activity [14], and is beyond the scope of this paper. We however provide a high-level discussion of the complexity and data flow of BMP-GMDD compared to that of conventional iBDD, AD [10], iBDD-SR [12], and iGMDD-SR [15].…”