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