信息传播算法来自统计物理，被广泛应用于人工智能各个领域，特别是求解组合优化问题时，有良好的有效性。根据信息传播算法的相关文献进......

布尔可满足性问题（Boolean Satisfiability Problem,SAT）是逻辑学的一个基本问题,也是NP-hard问题。调查传播算法（Survey Propagation......

该文研究了求解可满足问题的调查传播算法.该算法利用合取范式因子图进行调查消息的迭代,并根据每一次迭代的收敛情况对部分布尔变......