基于MOVR启发式的求差知识编译算法

您当前的位置：

首页 >

文章列表页 >

基于MOVR启发式的求差知识编译算法

学术论文 | 更新时间：2025-07-16

上一篇|下一篇

- 基于MOVR启发式的求差知识编译算法
- Knowledge Compilation Algorithm of Computing Difference Based on MOVR Heuristics
- 牛当当，吕帅，王金艳
- 电子学报 2019年47卷第11期页码：2299-2303
- 作者机构：
  1. 西北农林科技大学信息工程学院, 陕西杨凌,712100
  2. 符号计算与知识工程教育部重点实验室(吉林大学),吉林,长春,130012
  3. 广西师范大学计算机科学与信息工程学院,广西,桂林,541004
  4. 西北农林科技大学信息工程学院陕西杨凌,712100
  5. 吉林大学计算机科学与技术学院,吉林,长春,130012
- 作者简介：
- 基金信息：
  国家自然科学基金 (No.61502197,No.61503044,No.61763003,No.61502111);吉林省科技发展计划资助项目 (No.20180101053JC);广西省自然科学基金 (No.2016GXNSFAA380192);西北农林科技大学博士科研启动基金 (No.Z109021813)
- DOI： 10.3969/j.issn.0372-2112.2019.11.009
  中图分类号：
- 稿件说明：
移动端阅览
DOI：
DOI：

HTML全文
参考文献
出版信息
数据统计

摘要

Abstract

关键词

Keywords

references

152

浏览量

224

下载量

0

CSCD

文章被引用时，请邮件提醒。

提交

工具集

BibTeX下载
Endnote下载
RefMan 下载
NoteExpress下载
NoteFirst下载

关联资源

相关文章

基于MACR和CAL启发式的求差知识编译算法

EPCCL理论的并行知识编译算法

CIMHS：基于优化增量策略求解极小碰集的方法

基于IAPS的扩展规则局部搜索算法

包含绕包铝箔屏蔽的数据线缆信号完整性解析方法

相关作者

刘斌

吕帅

王金艳

刘磊

牛当当

黄森

赵相福

魏霞

相关机构

农业农村部农业物联网重点实验室(西北农林科技大学) 陕西杨凌

陕西省农业信息感知与智能服务重点实验室(西北农林科技大学) 陕西杨凌

陕西省农业信息感知与智能服务重点实验室(西北农林科技大学), 陕西杨凌

农业农村部农业物联网重点实验室(西北农林科技大学), 陕西杨凌

符号计算与知识工程教育部重点实验室(吉林大学)