Probabilistic sentential decision diagrams: Learning with massive logical constraints
Lifted Probabilistic Inference by First-Order Knowledge Compilation