[1] Newton J,Verna D.A theoretical and numerical analysis of the worst-case size of reduced ordered binary decision diagrams[J].ACM Transactions on Computational Logic,2019,20(1):6:1-6:36.
[2] Jabbour S,Ma Y,Raddaoui B,Sais L.Quantifying conflicts in propositional logic through prime implicates[J].International Journal of Approximate Reasoning,2017,89:27-40.
[3] Salhi Y.Approaches for enumerating all the essential prime implicants[A].In Proceedings of Artificial Intelligence:Methodology,Systems,and Applications-18th International Conference (AIMSA)[C].Varna,Bulgaria,2018.228-239.
[4] Uña D,Gange G,Schachte P,Stuckey PJ.Compiling CP subproblems to MDDs and d-DNNFs[J].Constraints,2019,24(1):56-93.
[5] Darwiche A,Marquis P.A knowledge compilation map[J].Journal of Artificial Intelligence Research,2002,17:229-264.
[6] Lai Y,Liu DY,Wang SS.Reduced ordered binary decision diagram with implied literals:A new knowledge compilation approach[J].Knowledge and Information Systems,2013,35(3):665-712.
[7] Lai Y,Liu DY,Yin MH.New canonical representations by augmenting OBDDs with conjunctive decomposition[J].Journal of Artificial Intelligence Research,2017,58:453-521.
[8] Lin H,Sun JG,Zhang YM.Theorem proving based on the extension rule[J].Journal of Automated Reasoning,2003,31(1):11-21.
[9] Lin H,Sun JG.Knowledge compilation using the extension rule[J].Journal of Automated Reasoning,2004,32(2):93-102.
[10] 谷文祥,王金艳,殷明浩.基于MCN和MO启发式策略的扩展规则知识编译方法[J].计算机研究与发展,2011,48(11):2064-2073. Gu WX,Wang JY,Yin MH.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)
[11] 刘大有,赖永,林海.C2E:一个高性能的EPCCL理论编译器[J].计算机学报,2013,36(6):1254-1260. Liu DY,Lai Y,Lin H.C2E:An EPCCL compiler with good performance[J].Chinese Journal of Computer,2013,36(6):1254-1260.(in Chinese)
[12] 刘磊,牛当当,吕帅.基于超扩展规则的知识编译方法[J].计算机学报,2016,39(8):1681-1696. Liu Lei,Niu Dang-Dang,Lü Shuai.Knowledge compilation methods based on the hyper extension rule[J].Chinese Journal of Computer,2016,39(8):1681-1696.(in Chinese)
[13] Niu DD,Liu L,Lü S.Knowledge compilation methods based on the clausal relevance and extension rule[J].Chinese Journal of Electronics,2018,27(5):1037-1042.
[14] Li HB,Liang YC,Zhang N,Guo JS,Xu D,Li ZS.Improving degree-based variable ordering heuristics for solving constraint satisfaction problems[J].Journal of Heuristics,2016,22(2):25-145. |