| 《计算机学报》文章摘要 全文下载 | |
| 文章题目 | 求解SAT问题的局部搜索算法及其平均时间复杂性分析 |
| 作者 | 刘 涛 李国杰 |
| 作者单位 | (中国科学院计算技术研究所 北京 100080) (国家智能计算机研究开发中心 北京 100080) |
| 发表年份 | 1997 |
| 发表月份 | 1期 （页码：18---26) |
| 文章摘要 | SAT问题在人工智能、VLSI设计和计算理论等领域有着广泛的应用 背景.近年来,局部搜索算法在求解SAT问题时得到了巨大的成功.本文除提 出了多种改进策略之外,还对一般局部搜索算法进行了平均时间复杂性分析. |