Keywords = Binary Decision Diagram
Number of Articles: 1