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

牛当当; 吕帅; 王金艳; 刘斌

doi:10.3969/j.issn.0372-2112.2020.02.009

您当前的位置：

首页 >

文章列表页 >

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

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

- 基于MACR和CAL启发式的求差知识编译算法
- Knowledge Compilation Algorithm of Computing Difference Based on MACR Heuristics and CAL Heuristics
- 牛当当，吕帅，王金艳，刘斌
- 电子学报 2020年48卷第2期页码：285-290
- 作者机构：
  1. 西北农林科技大学信息工程学院, 陕西杨凌,712100
  2. 陕西省农业信息感知与智能服务重点实验室(西北农林科技大学), 陕西杨凌,712100
  3. 农业农村部农业物联网重点实验室(西北农林科技大学), 陕西杨凌,712100
  4. 西北农林科技大学信息工程学院陕西杨凌,712100
  5. 吉林大学计算机科学与技术学院,吉林,长春,130012
  6. 陕西省农业信息感知与智能服务重点实验室(西北农林科技大学) 陕西杨凌,712100
  7. 农业农村部农业物联网重点实验室(西北农林科技大学) 陕西杨凌,712100
  8. 符号计算与知识工程教育部重点实验室(吉林大学),吉林,长春,130012
  9. 广西师范大学计算机科学与信息工程学院,广西,桂林,541004
- 作者简介：
- 基金信息：
  国家自然科学基金 (No.61602388，No.61763003）;吉林省科技发展计划资助项目 (No.20180101053JC）;陕西省自然科学基础研究计划项目 (No.2017JM6059）;中央高校基本科研业务费专项资金 (No.2452019064）;中国博士后科学基金 (No.2017M613216）;陕西省博士后基金 (No.2016BSHEDZZ121）;陕西省重点研发计划项目 (No.2019ZDLNY07-06-01）;广西省自然科学基金 (No.2016GXNSFAA380192）;西北农林科技大学博士科研启动基金 (No.Z109021813）;广西多源信息挖掘与安全重点实验室开放基金 (No.MIMS19-05）
- DOI： 10.3969/j.issn.0372-2112.2020.02.009
  中图分类号：
- 稿件说明：
移动端阅览
DOI：
DOI：

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

摘要

Abstract

关键词

Keywords

references

105

浏览量

116

下载量

0

CSCD

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

提交

工具集

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

关联资源

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

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

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

端网协同传输技术演进与思考

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

Knowledge Compilation Algorithm of Computing Difference Based on MACR Heuristics and CAL Heuristics

DOI： 10.3969/j.issn.0372-2112.2020.02.009

HTML全文

参考文献

出版信息

数据统计

摘要

Abstract

关键词

Keywords

references