基于学习的GSAT算法

基于学习的GSAT算法

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

作 者： 林智勇 郝志峰 刘海   作者单位： 华南理工大学应用数学系,广东广州,510640  刊 名： 华南理工大学学报(自然科学版)  ISTIC EI PKU 英文刊名： JOURNAL OF SOUTH CHINA UNIVERSITY OF TECHNOLOGY(NATURAL SCIENCE EDITION)  年，卷(期)： 2002 30(7)  分类号： O157 TP30  关键词： 可满足性问题   局部搜索   随机游走   加权   学习  

【基于学习的GSAT算法】相关文章：

基于粒子群算法的资源均衡04-27

基于分解算法的RM及DFRM之间的转换04-26

基于UKF的机载无源定位算法04-27

基于正则蕴涵算子的三Ⅰ算法的性质04-27

基于结构特征的空间目标识别算法04-26

基于蚁群算法的火灾人群疏散仿真04-26

基于支持向量机的红外成像跟踪算法04-27

基于遗传算法的飞机气动优化设计04-27

基于进化算法的测控飞机跟踪路径规划04-26

基于遗传算法CSAMT反演计算研究04-27