Ich empfehle den Wikipedia-Artikel durchzulesen. Dort steht kurz und kompakt alles drin.
Ansonsten sind die Optimierungsschritte in dem Buch recht gut dokumentiert und zu verstehen.
http://de.wikipedia.org/wiki/Obdd