| 求解可满足性问题的两个启发式策略 |
| |
| 引用本文： | 张德富,李光辉.求解可满足性问题的两个启发式策略[J].湖南文理学院学报(自然科学版),2001,13(3):84-87. |
| |
| 作者姓名： | 张德富 李光辉 |
| |
| 作者单位： | 华中科技大学计算机学院,浙江林学院计算中心 |
| |
| 摘 要： | 提出了两个用于求解可满足性(SAT)问题的启发式策略.数值实验表明,基于该策略的模拟退火算法的性能优于局部搜索算法,因此这两个策略是可行和有效的.
|
| 关 键 词： | 可满足性 模拟退火算法 启发式 算法 |
| 文章编号： | 1009-3818(2001)03-0084-04 |
| 修稿时间： | 2001年3月12日 |
Two Heuristic Strategies for Solving Satisfiability Problem |
| |
| ZHANG De-fu,LI Guang-hui.Two Heuristic Strategies for Solving Satisfiability Problem[J].Journal of Hunan University of Arts and Science:Natural Science Edition,2001,13(3):84-87. |
| |
| Authors: | ZHANG De-fu LI Guang-hui |
| |
| Institution: | ZHANG De-fu LI Guang-hui 1 |
| |
| Abstract: | Two heuristic strategies for solving satisfiability (SAT) problem were presented. The numerical experiments showed that the performance of the simulated annealing (SA) algorithm based on two heuristic strategies was better than that of local search (SAT1.3), so these strategies are feasible and efficient. |
| |
| Keywords: | satisfiability SA heuristic algorithm |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
