Knuth - "Fun With Binary Decision Diagrams (BDDs)" (June 5, 2008)
https://www.youtube.com/watch?v=SQE21efsf7Y
He has some other good material on BDDs, some of it in TAoCP.
(My search fu is failing me this morning. I found https://crypto.stanford.edu/pbc/notes/zdd/ which seems interesting, and Ben Lynn has some cool stuff linked from his home page: "Lambda calculus one-line self-interpreter", "Haskell compiler that runs in the browser"...)