10.3969/j.issn.1673-4785.201107008
可满足问题中的模型计数
模型计数问题是指计算给定问题的解的个数,这是一类比决策更困难的问题,也是人工智能领域研究的一个热点问题.对模型计数问题的研究不仅可以提高算法的求解效率,更能促进对问题困难本质的了解.以可满足问题(命题可满足(SAT)和约束可满足问题(CSP))为例,从精确算法和近似求解两方面综述了模型计数问题的研究现状,重点介绍了相关概念以及各个算法之间的优缺点,并提出了有待解决的开放性问题,对模型计数问题的研究予以了总结和展望.
人工智能、约束可满足问题、命题可满足问题、模型计数
7
TP18(自动化基础理论)
国家自然科学基金资助项目61070084,60573067,60803102
2012-06-26(万方平台首次上网日期,不代表论文的发表时间)
共7页
33-39