Knowledge Compilation Algorithm of Computing Difference Based on MOVR Heuristics
NIU Dang-dang, Lü Shuai, WANG Jin-yan
Acta Electronica Sinica ›› 2019, Vol. 47 ›› Issue (11) : 2299-2303.
Knowledge Compilation Algorithm of Computing Difference Based on MOVR Heuristics
{{custom_ref.label}} |
{{custom_citation.content}}
{{custom_citation.annotation}}
|
/
〈 | 〉 |