['Moreover', ',', 'in', 'PB', 'compilation', 'of', 'the', 'boolean', 'formulas', 'is', 'performed', 'using', '(', 'RO)BDDs', ',', 'while', 'ProbLog', 'can', 'use', 'a', 'wider', 'range', 'of', 'decision', 'diagrams', ',', 'e.g.', 'sentential', 'decision', 'diagrams', '(', 'SDD', ')', ',', 'deterministic', ',', 'decomposable', 'negation', 'normal', 'form', '(', 'd', '-', 'DNNF', ')', '.']