求解可满足性问题的两个启发式策略

编号 zgly0000255480

文献类型 期刊论文

文献题名 求解可满足性问题的两个启发式策略

作者 张德富  李光辉 

作者单位 华中科技大学计算机学院  浙江林学院计算中心 

母体文献 常德师范学院学报: 自然科学版 

年卷期 2001,13(3)

页码 84-87

年份 2001 

分类号 TP301.6 

关键词 可满足性问题  模拟退火算法  启发式策略  局部搜索算法  求解算法 

文摘内容 提出了两个用于求解可满足性(SAT)问题的启发式策略, 数值实验表明, 基于该策略的模拟退火算法的性能优于局部搜索算法, 因此这两个策略是可行和有效的。