BDDs -- design, analysis, complexity, and applications.
A binary decision diagram (BDD) is a labelled acyclic graph that represents some Boolean functions. They, and similar devices, are used in many different fields such as hardware design and verification, the design and analysis of algorithms, computational complexity theory, and model checking. This paper is a highly readable survey of BDDs, their variants and various uses. Real world applications are emphasized and illustrated by examples.
scientific article; zbMATH DE number 2062826
scientific article