Comment by JoachimS

How does this relate to OTDDs - Ternary Decision Diagrams?