A top-down compiler for sentential decision diagrams
SDD: A New Canonical Representation of Propositional Knowledge Bases