Survey Propagation Algorithm for SAT and Its Performance Dominated by Step Length

• 求解可满足问题的调查传播算法以及步长的影响规律