An Introduction to Binary Decision Diagrams. Lecture notes, available online (1997)

by H R Andersen