可满足问题中的模型计数

• 作者: 朱磊 殷明浩 谷文祥 黄平
• 来源期刊: 智能系统学报
• 学科: 工学
• 关键词: 人工智能 约束可满足问题 命题可满足问题 模型计数
• 年，卷（期）: 2012,（1）
• 页码范围: 33-39
• 分类号: TP18
• 字数: 6589字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-4785.201107008

摘要

模型计数问题是指计算给定问题的解的个数,这是一类比决策更困难的问题,也是人工智能领域研究的一个热点问题.对模型计数问题的研究不仅可以提高算法的求解效率,更能促进对问题困难本质的了解.以可满足问题(命题可满足(SAT)和约束可满足问题(CSP))为例,从精确算法和近似求解两方面综述了模型计数问题的研究现状,重点介绍了相关概念以及各个算法之间的优缺点,并提出了有待解决的开放性问题,对模型计数问题的研究予以了总结和展望.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	谷文祥	东北师范大学计算机科学与信息技术学院	71	538	11.0	20.0
2	殷明浩	东北师范大学计算机科学与信息技术学院	35	304	10.0	16.0
3	黄平	东北师范大学计算机科学与信息技术学院	2	3	1.0	1.0
4	朱磊	东北师范大学计算机科学与信息技术学院	3	41	2.0	3.0