Bdd, Binary Decision Diagrams, Software Verification, Model Checking, Boolean Function.
BDDs have revolutionized how engineers and scientists approach logical function manipulation and model checking. BDDs were first proposed by C. Y. Lee in 1959. The concept of BDDs was significantly refined and popularized by Randal E. Bryant’s seminal paper, “Graph-Based Algorithms for Boolean