On the Complexity and Approximation of Binary Evidence in Lifted Inference
Conditioning in first-order knowledge compilation and lifted probabilistic inference