A Recursive Framework for Evaluating Moments Using Zero-Suppressed Binary Decision Diagrams
The zero-suppressed binary decision diagram (ZDD) is a compact data structure widely used for the efficient representation of families of sparse subsets.Its inherent recursive structure also facilitates easy diagram manipulation and family operations.Practical applications generally fall under discrete optimization, such as combinatorial problems a