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