模型计数相关论文
智能规划是20世纪50年代后期迅速发展起来的一个前沿研究领域,近年来对该领域的研究取得了革命性的进展。其中,把规划问题编译为SA......
模型计数(model counting,#SAT)问题旨在计算给定的公式集合中所有模型的个数,绝大部分计算复杂度为#P的问题均可以在多项式时间内......
#SAT在人工智能领域取得了广泛应用,很多现实问题可以规约成#SAT进行求解,得到命题理论的模型个数。扩展规则是与归结互补的一种高......
#WS(≠)是互斥约束工作流可满足性的量化问题,与第三方环境中有重要意义的资源弹性密切相关.为克服其求解性能瓶颈,本文利用模式回......
#SAT问题是SAT问题的扩展,需要计算出给定命题公式集合的模型个数.通过将问题求解沿着归结的反方向进行,并利用容斥原理解决由此带......
#SAT问题是SAT问题的扩展，需要计算出给定命题公式集合的模型个数，通过将问题求解沿着归结的反方向进行，并利用容斥原理解决由此带来......
#SAT问题是人工智能中的重要问题，在人工智能领域被广泛应用。在对基于扩展规则的模型计数求解方法CER深入研究的基础上，重构CER中使......
#SAT在人工智能领域取得了广泛应用,很多现实问题可以规约成#SAT进行求解,得到命题理论的模型个数.通过对基于扩展规则的#SAT求解......
提出一种新的基于知识编译的模型计数方法——MTREE.该方法以一个否定范式（NF）作为输入,利用命题表推演过程,结合香农扩展和简化规则......
最坏情况下#SAT问题上界的研究已成为一个热门的研究领域．#SAT问题的时间复杂性是根据问题实例的大小所组成的函数计算所得．#SAT问题......
＃SA T 问题又称模型计数（model counting ）问题是人工智能领域的研究热点之一，在人工智能领域被广泛应用。在对基于扩展规则的＃SAT 问题......
提出一种新的基于扩展规则的#SAT求解算法NCER,该算法在#ER的基础上加入启发式策略.该策略每次选择当前子句集的最长子句来减小极......
提出命题扩展规则方法ER的一种高效实现．在此基础上，研究了扩展规则方法在3个领域的应用：提出一次性求解一系列相近SAT问题的快速算法......
模型计数问题是指计算给定问题的解的个数,这是一类比决策更困难的问题,也是人工智能领域研究的一个热点问题.对模型计数问题的研......
模型计数是指求出给定命题公式的模型数,是SAT问题的泛化.模型计数在人工智能领域取得了广泛应用,很多现实问题都可以规约为模型计......
自动推理和规划是人工智能领域中两个重要的分支,同时也是难度非常大的课题。1971年Cook等证明了命题可满足问题（SAT问题）是NP完备的......
从二十世纪五十年代开始,自动推理就成为了计算机科学的一个核心研究领域,而可满足性SAT (Satisfiability)问题是自动推理最重要的......
模型计数问题是指求解出给定命题公式的模型数,是自动推理领域的重要难题。模型计数在人工智能领域取得了广泛应用,许多现实问题都......
