Skolemization for Weighted First-Order Model Counting
On the Complexity and Approximation of Binary Evidence in Lifted Inference