Binary Decision Diagrams were also the first thing that came into my mind while reading the article.