基于学习的GSAT算法

摘要

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