Computer Musings
Fun With Zero-Suppressed Binary Decision Diagrams (ZDDs)