C cs.utexas.edu An Introduction to Binary Decision Diagrams [pdf] 101 points mindcrime 4 years ago 26 comments
