Text this: Binary Decision Diagrams :