模型计数论文

自动推理与规划问题最小上界和相变规律研究
论文摘要自动推理和规划是人工智能领域中两个重要的分支,同时也是难度非常大的课题。1971年Cook等证明了命题可满足问题（SAT问题）是NP完备的,1991年Chenoweth...
基于扩展规则的若干SAT问题研究
论文摘要从二十世纪五十年代开始,自动推理就成为了计算机科学的一个核心研究领域,而可满足性SAT（Satisfiability）问题是自动推理最重要的问题之一。基于扩展规则的方法...
#CSP的相变及近似算法研究
论文摘要近年来，相变现象已成为人工智能领域的一个研究热点。对NP完全问题相变的研究可以帮助我们理解问题困难的本质，从而提出更有效的求解算法。相变现象指的是随着某个参数的变化，问...
自动推理和智能规划中若干问题研究
论文摘要自动推理和智能规划自从二十世纪五十年代被提出,已经成为计算机科学中最重要的研究领域。基于演绎推理的规划求解方法、基于SAT的经典规划求解方法和基于QBF以及知识编译的非...