电子学报
 首页  |  期刊介绍  |  编 委 会  |  投稿指南  |  期刊订阅  |  综合信息  |  联系我们  |  致谢审稿人 | CJE
电子学报  2019, Vol. 47 Issue (11): 2299-2303    DOI: 10.3969/j.issn.0372-2112.2019.11.009
学术论文 最新目录| 下期目录| 过刊浏览| 高级检索 |
基于MOVR启发式的求差知识编译算法
牛当当1, 吕帅2,3, 王金艳4
1. 西北农林科技大学信息工程学院, 陕西杨凌 712100;
2. 吉林大学计算机科学与技术学院, 吉林长春 130012;
3. 符号计算与知识工程教育部重点实验室(吉林大学), 吉林长春 130012;
4. 广西师范大学计算机科学与信息工程学院, 广西桂林 541004
Knowledge Compilation Algorithm of Computing Difference Based on MOVR Heuristics
NIU Dang-dang1, Lü Shuai2,3, WANG Jin-yan4
1. College of Information Engineering, Northwest A&F University, Yangling, Shaanxi 712100, China;
2. College of Computer Science and Technology, Jilin University, Changchun, Jilin 130012, China;
3. Key Laboratory of Symbolic Computation and Knowledge Engineering(Jilin University), Ministry of Education, Changchun, Jilin 130012, China;
4. School of Computer Science and Information Engineering, Guangxi Normal University, Guilin, Guangxi 541004, China

版权所有 © 2012 《电子学报》编辑部
本系统由北京玛格泰克科技发展有限公司设计开发 技术支持:support@magtech.com.cn
京ICP备12041980号-1