Skolemization for Weighted First-Order Model Counting
Compiling probabilistic graphical models using sentential decision diagrams