[1] Darwiche A,Marquis P.A knowledge compilation map[J].Journal of Artificial Intelligence Research,2002,17(1):229-264.
[2] Fargier H,Marquis P,Niveau A.Towards a knowledge compilation map for heterogeneous representation languages[A].Proceedings of the 23rd International Joint Conference on Artificial Intelligence[C].Beijing,China:IJCAI,2013.877-883.
[3] Fargier H,Marquis P,Niveau A,Schmidt N.A knowledge compilation map for ordered real-valued decision diagrams[A].Proceedings of the 28th National Conference on Artificial Intelligence[C].Québec,Canada:AAAI Press,2014.1049-1055.
[4] Fargier H,Marquis P.Disjunctive closures for knowledge compilation[J].Artificial Intelligence,2014,216(16):129-162.
[5] Kazemi S M,Poole D.Knowledge compilation for lifted probabilistic inference:Compiling to a low-level language[A].Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning[C].Cape Town,South Africa:AAAI Press,2016.561-564.
[6] Lai Y,Liu D Y,Wang S S.Reduced ordered binary decision diagram with implied literals:A new knowledge compilation approach[J].Knowledge and Information Systems,2013,35(3):665-712.
[7] 申元霞,曾传华,王喜凤,江小燕.并行协作骨干粒子群优化算法[J].电子学报,2016,44(7):1643-1648. SHEN Yuan-Xia,ZENG Chuan-Hua,WANG Xi-Feng,JIANG Xiao-Yan.A parallel-cooperative bare-bone particle swarm optimization algorithm[J].Acta Electronica Sinica,2016,44(7):1643-1648.(in Chinese)
[8] Huang Y F,Xiao J H,Jiang K Q,Chen Z H.Parallel solution for maximum independent set problem by programmable tile assembly[J].Chinese Journal of Electronics,2016,25(2):203-208.
[9] 王伟,余玉揆,郝燕玲.一种新型混合并行粒子滤波频率估计方法[J].电子学报,2016,44(3):740-746. WANG Wei,YU Yu-Kui,HAO Yan-Ling.A novel parallel particle filter for frequency estimation[J].Acta Electronica Sinica,2016,44(3):740-746.(in Chinese)
[10] Katsirelos G,Sabharwal A,Samulowitz H,Simon L.Resolution and parallelizability:Barriers to the efficient parallelization of SAT solvers[A].Proceedings of the 27th National Conference on Artificial Intelligence[C].Bellevue,Washington:AAAI Press,2013.481-488.
[11] Lin H,Sun J G,Zhang Y M.Theorem proving based on the extension rule[J].Journal of Automated Reasoning,2003,31(1):11-21.
[12] Lin H,Sun J G.Knowledge compilation using the extension rule[J].Journal of Automated Reasoning,2004,32(2):93-102.
[13] 谷文祥,王金艳,殷明浩.基于MCN和MO启发式策略的扩展规则知识编译方法[J].计算机研究与发展,2011,48(11):2064-2073. GU Wen-Xiang,WANG Jin-Yan,YIN Ming-Hao.Knowledge compilation using extension rule based on MCN and MO heuristic strategies[J].Journal of Computer Research and Development,2011,48(11):2064-2073.(in Chinese)
[14] 刘大有,赖永,林海.C2E:一个高性能的EPCCL理论编译器[J].计算机学报,2013,36(6):1254-1260. LIU Da-You,LAI Yong,LIN Hai.C2E:An EPCCL compiler with good performance[J].Chinese Journal of Computer,2013,36(6):1254-1260.(in Chinese)
[15] 刘磊,牛当当,李壮,吕帅.基于超扩展规则的动态在线推理算法[J].哈尔滨工程大学学报,2015,36(12):1614-1619. LIU Lei,NIU Dang-Dang,LI Zhuang,LÜ Shuai.Dynamic online reasoning algorithm based on the hyper extension rule[J].Journal of Harbin Engineering University,2015,36(12):1614-1619.(in Chinese)
[16] 刘磊,牛当当,吕帅.基于超扩展规则的知识编译方法[J].计算机学报,2016,39(8):1681-1696. LIU Lei,NIU Dang-Dang,LV Shuai.Knowledge compilation methods based on the hyper extension rule[J].Chinese Journal of Computers,2016,39(8):1681-1696.(in Chinese)
[17] 牛当当,刘磊,吕帅.EPCCL理论的求交知识编译算法[J].软件学报,2017,28(8):2096-2112. NIU Dang-Dang,LIU Lei,LV Shuai.Knowledge compilation algorithm based on computing the intersection for EPCCL theories[J].Journal of Software,2017,28(8):2096-2112.(in Chinese) |