New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract)
SDD: A New Canonical Representation of Propositional Knowledge Bases