|
|||||
|
|
| 求解可满足性问题的两个启发式策略 | |
| 引用本文： | 张德富,李光辉.求解可满足性问题的两个启发式策略[J].常德师范学院学报(自然科学版),2001,13(3):84-87. |
| 作者姓名： | 张德富 李光辉 |
| 作者单位： | [1]华中科技大学计算机学院，湖北武汉市430074 [2]浙江林学院计算中心 |
| 摘 要： | 提出了两个用于求解可满足性（SAT）问题的启发式策略，数值实验表明，基于该策略的模拟退火算法的性能优于局部搜索算法，因此这两个策略是可行和有效的。 |
| 关 键 词： | 可满足性问题 模拟退火算法 启发式策略 局部搜索算法 求解算法 |
| 本文献已被 维普 等数据库收录！ | |