基于MACR和CAL启发式的求差知识编译算法
牛当当, 吕帅, 王金艳, 刘斌
Knowledge Compilation Algorithm of Computing Difference Based on MACR Heuristics and CAL Heuristics
NIU Dang-dang, LV Shuai, WANG Jin-yan, LIU Bin
电子学报
.
2020, (2): 285
-290
.
DOI: 10.3969/j.issn.0372-2112.2020.02.009
