Counting Belief Propagation
MPE and Partial Inversion in Lifted Probabilistic Variable Elimination