Bounding the Partition Function using Holder's Inequality
Bucket elimination: a unifying framework for reasoning