SLIPCASE
Structure LearnIng of ProbabilistiC logic progrAmS with Em over bdds