MRF energy minimization and beyond via dual decomposition
Survey propagation: an algorithm for satisfiability