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 …
used for the efficient representation of families of sparse subsets. Its inherent recursive …