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

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