On the Complexity and Approximation of Binary Evidence in Lifted Inference
Lifted probabilistic inference with counting formulas