%0 Journal Article
%T surveypropagation：一种求解sat的高效算法
%A 李韶华 张健？
%J 计算机科学
%D 2005
%X surveypropagation是一种新生的sat(csp)算法。它基于统计物理的spinglass模型，针对具体问题进行纵览(survey)，从而极大地降低求解的复杂度。但sp算法在某些时候不收敛，或引导向错误的解。对此，g．parisi提出一种复杂回溯(backtrack)算法，而作者在sp中加入简单回溯，也使一部分此类问题得到解决。
%K “surveypropagation”sat算法可满足性问题求解算法不完备搜索方法人工智能命题逻辑公式
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=12050395&flag=1