[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Additional (optional) material on BDD



If your curiosity is piqued by the short discussion in Appendix C
about ROBDDs and you want to know more about them, you can look at the
following nice tutorial:

http://www.cs.unb.ca/profs/gdueck/courses/cs4835/bdd97.pdf

rao