电子学报2020，Vol.48Issue(2)：285-290,6.DOI:10.3969/j.issn.0372-2112.2020.02.009
基于MACR和CAL启发式的求差知识编译算法
Knowledge Compilation Algorithm of Computing Difference Based on MACR Heuristics and CAL Heuristics
摘要
关键词
知识编译/扩展规则/超扩展规则/EPCCL理论/启发式策略分类
信息技术与安全科学引用本文复制引用
牛当当,吕帅,王金艳,刘斌..基于MACR和CAL启发式的求差知识编译算法[J].电子学报,2020,48(2):285-290,6.基金项目
国家自然科学基金(No.61602388,No.61763003) （No.61602388,No.61763003）
吉林省科技发展计划资助项目(No.20180101053JC) （No.20180101053JC）
陕西省自然科学基础研究计划项目(No.2017JM6059) （No.2017JM6059）
中央高校基本科研业务费专项资金(No.2452019064) （No.2452019064）
中国博士后科学基金(No.2017M613216) （No.2017M613216）
陕西省博士后基金(No.2016BSHEDZZ121) （No.2016BSHEDZZ121）
陕西省重点研发计划项目(No.2019ZDLNY07-06-01) （No.2019ZDLNY07-06-01）
广西省自然科学基金(No.2016GXNSFAA380192) （No.2016GXNSFAA380192）
西北农林科技大学博士科研启动基金(No.Z109021813) （No.Z109021813）
广西多源信息挖掘与安全重点实验室开放基金(No.MIMS19-05) （No.MIMS19-05）
