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

牛当当, 吕帅, 王金艳

Knowledge Compilation Algorithm of Computing Difference Based on MOVR Heuristics

NIU Dang-dang, Lü Shuai, WANG Jin-yan

电子学报 . 2019, (11): 2299 -2303 . DOI: 10.3969/j.issn.0372-2112.2019.11.009