一个约束可满足性问题的演化算法求解

• 作者: 康立山 方宁 李景治
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 约束可满足性问题 演化算法 斑马属谁问题
• 年，卷（期）: 2004,（4）
• 所属期刊栏目: 人工智能
• 页码范围: 137-139
• 页数: 3页
• 分类号: TP3
• 字数: 3217字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2004.04.037

摘要

约束可满足性问题是一大类常出现于现实应用中的复杂问题[1],因其繁多的约束务件而出名.本文针对一个经典的约束可满足性问题--斑马属谁问题,基于演化算法的框架进行求解.我们采用矩阵的表示方式,并设计了相应的杂交和变异算子.实验表明,演化算法能高效地解决该问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	康立山	武汉大学软件工程国家重点实验室	127	2409	27.0	44.0
2	李景治	武汉大学软件工程国家重点实验室	4	27	3.0	4.0
3	方宁	武汉大学软件工程国家重点实验室	4	28	3.0	4.0