Bdd, Binary Decision Diagrams, Software Verification, Model Checking, Boolean Function.
worst-case complexity that is exponential in the number of variables. However, in practice, efficient variable ordering and the sharing of common subexpressions often result in much lower complexity, allowing for the efficient manipulation of BDDs that represent complex Boolean functions. Restrict