Clip

Introduction to Boolean Decision Diagrams (BDD)
BDDs revolutionized the way to represent a Boolean function, that was not even thought of until the late 1980s, when they started being used for billion-dollar applications. Despite criticisms, they provide a new mechanism for describing a Boolean function, as presented in volume 4A.