基于学习的GSAT算法
在GSAT算法的基础上,引进学习的概念,设计了一种新的SAT求解算法.用若干DIMAC的测试实例进行了仿真实验研究,比较了基于学习的GSAT算法与著名的Random Walk GSAT算法.结果表明两种算法对于随机SAT的实例比较有效,但对于Real-World SAT的实例性能较差.
推荐文档列表
-
w
水热法制备铌酸锶钡粉体初探
推荐： -
w
秦山核电二期工程反应堆堆内构件流致振动试验
推荐： -
w
分光光度法同时测定水中Cr(Ⅵ)、Cr(Ⅲ)和总铬的条件优化
推荐： -
w
特丁基二甲基硅烷衍生化-气相色谱-质谱联用法分析尿中硝西泮的代谢物7-氨基硝西泮
推荐： -
w
反常吸收与高质量的远红外光谱
推荐： -
w
非偏振大角度高精度减反膜的设计
推荐： -
w
基于[λ,μ]-截段的一般分解定理和截段矩阵
推荐： -
w
含分形断层面岩体破坏的数值模拟及分析
推荐： -
w
用角分辨光电子能谱研究Co/Cu(111)外延超薄膜的电子结构
推荐： -
w
A New Dihydroflavone Glycoside from Glycyrrhiza uralensis
推荐： -
w
双轴晶体主平面上倍频的相位匹配
推荐： -
w
银杏叶挥发油化学成分分析
推荐： -
w
复式周期结构光子晶体研究进展
推荐： -
w
2-赋范空间中的Aleksandrov问题
推荐： -
w
聚天青Ⅰ玻碳修饰电极对血红蛋白催化还原
推荐： -
w
基本参数对锥形量热法测定高分子材料热释放速率的影响
推荐： -
w
一维分子晶体系统的极化子-孤子压缩态,系统基态性质和量子涨落
推荐： -
w
带有给定切线多边形的C2和C3 Bézier闭样条曲线
推荐： -
w
金红石瓷无模成形技术中引发剂液滴运动的Runge-Kutta解析
推荐： -
w
OUH体系的结构和分析势能函数
推荐： -
w
硅基高质量氧化锌外延薄膜的界面控制
推荐： -
w
原子荧光光谱法同时测定食品、水、化妆品及生物材料样品中的锡和汞
推荐： -
w
Crystal Structures of Urokinase-type Plasminogen Activator in Complex with 4-(Aminomethyl) Benzoic Acid and 4-(Aminometh
推荐： -
w
动力学荧光法测定抗坏血酸
推荐： -
w
Hilbert空间上框架扰动的新结果
推荐： -
w
β测量新材料密度中标准材料的选择
推荐： -
w
Synthesis and in vitro Anti-hepatitis B Virus Activity of Some Ethyl 5-Hydroxy-4-substituted Aminomethyl-2-sulfinylmethy
推荐： -
w
TC材料的低压Hugoniot参数实验测量研究
推荐： -
w
多自由度强非线性柔性转子-挤压油膜阻尼器系统的分叉与混沌响应
推荐： -
w
一类G-框架及其对偶的若干性质
推荐： -
w
麦草碱木质素基环氧树脂的合成
推荐： -
w
反相高效液相色谱法同时测定墨旱莲中的蟛蜞菊内酯和异去甲基蟛蜞菊内酯
推荐： -
w
云纹干涉载频调制技术及分析
推荐： -
w
基于系统辨识的雷击浪涌注入效应仿真
推荐： -
w
单晶体塑性滑移有限变形下的应力计算
推荐： -
w
什么是康托的不可列?-无穷理论的新方案(3)
推荐：