A Recursive Framework for Evaluating Moments Using Zero-Suppressed Binary Decision Diagrams
The zero-suppressed binary decision diagram (ZDD) is a Light Guards 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 combinatori