Mini-Bucket Heuristics for Improved Search
Probabilistic reasoning in intelligent systems: Networks of plausible inference