Understanding the Complexity of Lifted Inference and Asymmetric Weighted Model Counting
Probabilistic theorem proving