Probabilistic sentential decision diagrams: Learning with massive logical constraints
SDD: A New Canonical Representation of Propositional Knowledge Bases