SDD: A New Canonical Representation of Propositional Knowledge Bases

Open in new window