Lifted Tree-Reweighted Variational Inference
Lifted probabilistic inference with counting formulas