On the interpolation between product-based message passing heuristics for SAT

Abstract

This paper introduces a notational frame to characterize the four basic product-based Message Passing (MP) heuristics currently available for SAT: Belief Propagation (BP), Survey Propagation (SP), Expectation Maximization BP Global (EMBPG) and Expectation Maximization SP Global (EMSPG). Using this framework, the paper introduces indirect structural interpolation (ISI). Using this technique, we create a hierarchy of heuristics - each new level in this hierarchy consists of heuristics strictly more general than their predecessors. The final result is the ρσPMPi heuristic, which is able to mimic all product-based MP heuristics and is hence a generalization for all them. © 2013 Springer-Verlag.