论文部分内容阅读
提出了两个用于求解可满足性(SAT)问题的启发式策略.数值实验表明,基于该策略的模拟退火算法的性能优于局部搜索算法,因此这两个策略是可行和有效的.
求解可满足性问题的两个启发式策略
【摘 要】
：
提出了两个用于求解可满足性(SAT)问题的启发式策略.数值实验表明,基于该策略的模拟退火算法的性能优于局部搜索算法,因此这两个策略是可行和有效的.
【机 构】
：
华中科技大学计算机学院,浙江林学院计算中心
【出 处】
：
常德师范学院学报：自然科学版
【发表日期】
：
2001年3期
其他文献
通过在实验台上模拟转子的升速过程与轴承断油过程，研究滑动轴承油膜状态演变与滑动轴承的声发射信号特征的变化关系，获得了滑动轴承油膜状态随转速的变化过程中，轴承声发射信号
目的:探讨葛根芩连汤对糖尿病早期视网膜患者的血管内皮生长因子(Vascular endothelial growth factor,VEGF)水平及预后的影响。方法:按照随机数字表法将80例160眼糖尿病早期
冯梦龙在《警世通言》中记载：苏轼有一次去相府拜见王安石,刚好王安石不在,却见案上有咏菊诗：＂西风昨夜过园林,吹落黄花满地金。＂苏轼看后暗自好笑,想当然地认为,菊花残谢后一般
当下信息技术已被已被世人普遍认可和广泛使用,然而信息在一切可消费的社会氛围中逐渐不再以真实为基础,娱乐转而取代了真实,成为人们在高压、快节奏现代生活中的宠儿,全民狂
加热器变工况运行中，抽汽压损偏离目标值对机组热经济性有较大影响。采用等效焓降理论，利用汽轮机抽汽口压力不变，加热器出口水温可以变动的方法对抽汽压损偏离目标值影响机组经