咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 2 篇 工学
    • 2 篇 计算机科学与技术...
    • 1 篇 控制科学与工程
    • 1 篇 软件工程
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 2 篇 加权模型计数
  • 1 篇 伪布尔约束
  • 1 篇 代数决策图
  • 1 篇 模型计数
  • 1 篇 扩展规则
  • 1 篇 知识编译
  • 1 篇 预处理技术

机构

  • 2 篇 吉林大学
  • 1 篇 东北师范大学

作者

  • 1 篇 sun ji-gui
  • 1 篇 林海
  • 1 篇 孙吉贵
  • 1 篇 lin hai
  • 1 篇 许征航
  • 1 篇 殷明浩
  • 1 篇 yin ming-hao

语言

  • 2 篇 中文
检索条件"主题词=加权模型计数"
2 条 记 录,以下是1-10 订阅
排序:
面向伪布尔约束的加权模型计数研究
面向伪布尔约束的加权模型计数研究
收藏 引用
作者: 许征航 吉林大学
学位级别:硕士
布尔可满足性(SAT)问题是第一个被证明的NP完全问题,在计算机科学中有着非常重要的意义。SAT问题本身是一个判定问题,对于一个给定的命题逻辑公式,SAT旨在判断是否存在一组真值指派使得该公式成立。若存在,则称该公式是可满足的,反之则... 详细信息
来源: 评论
一种基于扩展规则的#SAT求解系统
收藏 引用
软件学报 2009年 第7期20卷 1714-1725页
作者: 殷明浩 林海 孙吉贵 吉林大学计算机科学与技术学院 吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室 吉林长春130012 东北师范大学计算机学院 吉林长春130117
#SAT问题是SAT问题的扩展,需要计算出给定命题公式集合的模型个数.通过将问题求解沿着归结的反方向进行,并利用容斥原理解决由此带来的空间复杂性问题,提出了一种基于扩展规则的模型计数加权模型计数问题求解框架,可以看作是目前所有... 详细信息
来源: 评论