Bdd, Binary Decision Diagrams, Software Verification, Model Checking, Boolean Function.
known as Reduced Ordered Binary Decision Diagrams (ROBDDs), are often used in practice. ROBDDs apply two reduction rules — deleting duplicate nodes and merging isomorphic subgraphs — to ensure the most compact representation possible. From BDD to ROBDD — Represent the Boolean formula