A top-down compiler for sentential decision diagrams
Compiling probabilistic logic programs into sentential decision diagrams