Binary Decision Diagram