Survey Propagation:一种求解SAT的高效算法

	Survey Propagation:一种求解SAT的高效算法
其他题名	survey propagation:an effective algorithm for solving sat
	李韶华; 张健
	2005
发表期刊	计算机科学
卷号	32 期号:1 页码:132-137
摘要	Survey propagation是一种新生的SAT(CSP)算法.它基于统计物理的spin glass模型,针对具体问题进行纵览(survey),从而极大地降低求解的复杂度.但sp算法在某些时候不收敛,或引导向错误的解.对此,G.Parisi提出一种复杂回溯(backtrack)算法,而作者在sp中加入简单回溯,也使一部分此类问题得到解决.
收录类别	cscd
关键词	不完备搜索方法可满足性问题求解算法
部门归属	计算机科学国家重点实验室
语种	中文
CSCD记录号	CSCD:1866033
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/3160
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	李韶华,张健. Survey Propagation:一种求解SAT的高效算法[J]. 计算机科学,2005,32(1):132-137.
APA	李韶华,&张健.(2005).Survey Propagation:一种求解SAT的高效算法.计算机科学,32(1),132-137.
MLA	李韶华,et al."Survey Propagation:一种求解SAT的高效算法".计算机科学 32.1(2005):132-137.