EPCCL理论的并行知识编译算法
牛当当, 刘磊, 吕帅
Parallel Knowledge Compilation Algorithms for EPCCL Theory
NIU Dang-dang, LIU Lei, LÜ Shuai
电子学报 . 2018, (3): 537 -543 .  DOI: 10.3969/j.issn.0372-2112.2018.03.004