Zero-Suppressed Binary Decision Diagrams (ZDDs) (crypto.stanford.edu)

Ha! Don Knuth came to CMU last week, and his talk was entirely about BDDs and ZDDs. He said he wouldn't tell us where the ZDD name came from, because many people are already forgetting, and it would just be staving off the inevitable.