Cudd Package : Binary decison diagrams

Question

Can anyone point some good material on Cudd package. I am looking for some concise matter here. The one at http://vlsi.colorado.edu/~fabio/CUDD/ doesn't seem to give a good introduction to the matter. Any video lectures relating to BDD and its application are welcome.

Thanks and regards

Answer 1

See Knuth's Computer Musings for video lectures covering the basics as well as many varied applications:

• Fun With Binary Decision Diagrams (BDDs)
• Fun With Zero-Suppressed Binary Decision Diagrams (ZDDs)