Zero-suppressed decision diagram

A zero-suppressed decision diagram (ZSDD or ZDD) is a particular kind of binary decision diagram (BDD) with fixed variable ordering. This data structure provides a canonically compact representation of sets, particularly suitable for certain combinatorial problems.

Source: Wikipedia — Zero-suppressed decision diagram (CC BY-SA 4.0)