Abstract
At the turn of the millennium new message passing algorithms called Belief and Survey Propagation stirred excitement in the SAT community because these algorithms appeared to excel at solving large random k-SAT instances. In this talk I will give an overview of where we stand as far as a mathematical understanding of these message passing algorithms goes. In addition, I will discuss th physics intuition that underpins Belief and Survey Propagation.