Lifted inference rules with constraints
Counting Belief Propagation