Computer Musings
Fun With Binary Decision Diagrams (BDDs)