Don Knuth - Fun with Binary Decision Diagrams (BDDs) 2008

Part 2 on ZDD: https://www.youtube.com/watch?v=-HzQYeqS9Wc

also some notes here on implementation: https://crypto.stanford.edu/pbc/notes/zdd/