求解难可满足性问题的混合算法

• 作者: 张德富
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 可满足性问题 拟人 禁忌表
• 年，卷（期）: 2003,（8）
• 页码范围: 1528-1531
• 页数: 4页
• 分类号: TP18
• 字数: 5877字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-1220.2003.08.030

摘要

提出了一个求解难可满足性问题的简单混合算法.拟人和禁忌表两个策略被给出.数值实验表明,对于一类公认比较难的可满足性问题,该算法胜过目前据认为是最好方法之一的NOVELTY算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张德富	厦门大学计算机与信息工程学院	14	389	8.0	14.0