SDD: A New Canonical Representation of Propositional Knowledge Bases
Graph-Based Algorithms for Boolean Function Manipulation