基于学习的GSAT算法

摘要：

在GSAT算法的基础上,引进学习的概念,设计了一种新的SAT求解算法.用若干DIMAC的测试实例进行了仿真实验研究,比较了基于学习的GSAT算法与著名的Random Walk GSAT算法.结果表明两种算法对于随机SAT的实例比较有效,但对于Real-World SAT的实例性能较差.

关键词：可满足性问题、局部搜索、随机游走、加权、学习

所属期刊栏目：30

分类号：O157;TP30(代数、数论、组合理论)

资助基金：国家自然科学基金199901009;广东省自然科学基金970472,000463;中国科学院软件研究所计算机科学重点实验室基金

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：5-7,12