|
|||||
|
|
| 求解SAT问题的拟物拟人算法——Solar | |
| 引用本文： | 黄文奇,金人超.求解SAT问题的拟物拟人算法——Solar[J].中国科学(E辑),1997,27(2):179-186. |
| 作者姓名： | 黄文奇 金人超 |
| 作者单位： | 华中理工大学计算机系 武汉430074 (黄文奇)，华中理工大学计算机系 武汉430074(金人超) |
| 基金项目： | 国家“八六三”高科技计划，国家自然科学基金，数学天元基金资助项目 |
| 摘 要： | 利用拟物与拟的方法，为合取范式可满足性问题的高效率近似求解得出了继承策略，新路策略和赦免策略，然后对著名的Ｂａｒｔ Ｓｅｌｍａｎ跳坑策略给出了一个直观解释，综合这些策略得出了一个新的求解算法－－Ｓｏｌａｒ。 |
| 关 键 词： | 合取范式 拟物法 拟人法 计算机算法 SAT |
| 本文献已被 CNKI 维普 等数据库收录！ | |