An introduction to Binary Decision Diagrams. Lecture Notes IT University Copenhagen 1999. Remark: We also recommend Donald Knuth’s account of BDD’s in his forthcoming Vol.4 of The Art of computer programming (0)

by H R Andersen