【摘 要】
：
模型计数问题是指计算给定问题的解的个数,这是一类比决策更困难的问题,也是人工智能领域研究的一个热点问题.对模型计数问题的研究不仅可以提高算法的求解效率,更能促进对问
【机 构】
：
东北师范大学计算机科学与信息技术学院
论文部分内容阅读
模型计数问题是指计算给定问题的解的个数,这是一类比决策更困难的问题,也是人工智能领域研究的一个热点问题.对模型计数问题的研究不仅可以提高算法的求解效率,更能促进对问题困难本质的了解.以可满足问题（命题可满足（SAT）和约束可满足问题（CSP））为例,从精确算法和近似求解两方面综述了模型计数问题的研究现状,重点介绍了相关概念以及各个算法之间的优缺点,并提出了有待解决的开放性问题,对模型计数问题的研究予以了总结和展望.
其他文献
针对当前地质环境保护与治理现状,提出了保护地质环境是一项系统性的工作,必须全方位、全角度综合考虑,单一的政策和办法往往起不到应有的作用。
虽然老年人对互联网使用有极大的热情和需求,但作为相对弱势的群体,老年人在新媒介的接触中仍面临着一定的挑战。目前,我国已成为全球老龄化发展速度最快的国家。国家统计局
玉米催芽坐水种是抗御春旱，保证一次播种出全苗和壮苗的有效技术措施。搞好玉米催芽坐水种，主要应把住以下“三关”：
冯梦龙在立言、立功方面深受闽中李贽思想的影响，而冯氏在闽中践行立言、立功方面取得的成就，赢得了闽中时人徐煽、曹学俭、黄道周的赏识与延誉。了解冯氏与闽中人事的渊源有助
为了利用计算机协助人们建立待求解问题的可拓模型,必须让计算机识别用自然语言描述的问题,而且要 理解问题的含义,这是相当困难的任务.本文提出利用人机界面Agent的智能引导
结合投资决策的特点给出了一种模糊多属性决策方法,其中属性偏好信息以若干个互补判断矩阵形式给出,属性值为梯形模糊数。该方法能充分挖掘判断矩阵的特征信息,给出了互补判