Understanding the Complexity of Lifted Inference and Asymmetric Weighted Model Counting
Skolemization for Weighted First-Order Model Counting