Bdd, Binary Decision Diagrams, Software Verification, Model Checking, Boolean Function.
divide-and-conquer approach, applying the operation to the subtrees and combining the results according to the operation’s rules. The BDDs operation includes ‘reduce’, ‘apply’, ‘restrict’, ‘exists’ Reduce algorithm This is a critical component in the construction and optimization of Binary Decision