咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...

主题

  • 1 篇 模型树
  • 1 篇 否定范式
  • 1 篇 模型计数
  • 1 篇 香农扩展
  • 1 篇 知识编译
  • 1 篇 r-模型树

机构

  • 1 篇 东北师范大学

作者

  • 1 篇 gu wen-xiang
  • 1 篇 谷文祥
  • 1 篇 殷明浩
  • 1 篇 刘华
  • 1 篇 yin ming-hao
  • 1 篇 liu hua

语言

  • 1 篇 中文
检索条件"主题词=R-模型树"
1 条 记 录,以下是1-10 订阅
排序:
一种基于知识编译的模型计数方法
收藏 引用
东北师大学报(自然科学版) 2010年 第4期42卷 46-50页
作者: 殷明浩 刘华 谷文祥 东北师范大学计算机科学与信息技术学院 吉林长春130117
提出一种新的基于知识编译的模型计数方法——MTrEE.该方法以一个否定范式(NF)作为输入,利用命题表推演过程,结合香农扩展和简化规则,将输入的否定范式编译成与之等价的r-模型树,在r-模型树上应用多项式时间算法求出其模型个数,即为原输... 详细信息
来源: 评论