Page 130 - 《软件学报》2021年第9期

2754 Journal of Software 软件学报 Vol.32, No.9, September 2021

[18] Yang Y, Liu L, Li GL, Zhang TB, Lü S. A novel local search-based extension rule reasoning method. Chinese Journal of
Computers, 2018,14(4):825−839 (in Chinese with English abstract).
[19] Yang Y. Research on the reasoning methods using the extension rule [MS. Thesis]. Changchun: Jilin University, 2017 (in Chinese
with English abstract).
[20] Li Y, Sun JG, Wu X, Zhu XJ. Extension rule algorithms based on IMOM and IBOHM heuristics strategies. Ruan Jian Xue Bao/
Journal of Software, 2009,20(6):1521−1527 (in Chinese with English abstract). http://www.jos. org.cn/1000-9825/3420.htm [doi:
10.3724/SP.J.1001.2009.03420]
[21] Zhang LM, Ouyang DT, Zhao J, Bai HT. The parallel theorem proving algorithm based on semi-extension rule. Applied
Mathematics & Information Sciences, 2012,6(1):119−122.
[22] Li Z. Studies on some issues of satisfiability problems [Ph.D. Thesis]. Changchun: Jilin University, 2020 (in Chinese with English
abstract).

附中文参考文献:
[13] 孙吉贵,李莹,朱兴军,吕帅.一种新的基于扩展规则的定理证明算法.计算机研究与发展,2009,46(1):9−14.
[14] 张立明,欧阳丹彤,白洪涛.基于半扩展规则的定理证明方法.计算机研究与发展,2010,47(9):1522−1529.
[15] 殷明浩,孙吉贵,林海,吴瑕.可能性扩展规则的推理和知识编译.软件学报,2010,20(11):2826−2837. http://www.jos.org.cn/1000-
9825/3690.htm [doi: 10.3724/SP.J.1001.2010.03690]
[16] 刘磊,牛当当,吕帅.基于超扩展规则的知识编译方法.计算机学报,2016,39(8):1681−1696.
[17] 王强,刘磊,吕帅.基于扩展规则的启发式#SAT 求解算法.软件学报,2018,29(11):3517−3527. http://www.jos.org.cn/1000-9825/
5298.tm [doi: 10.13328/j.cnki.jos.005298]
[18] 杨洋,刘磊,李广力,张桐搏,吕帅.一种新的基于局部搜索的扩展规则推理方法.计算机学报,2018,14(4):825−839.
[19] 杨洋.基于扩展规则的推理方法研究[硕士学位论文].长春:吉林大学,2017.
[20] 李莹,孙吉贵,吴瑕,朱兴军.基于 IMOM 和 IBOHM 启发式策略的扩展规则算法.软件学报,2009,20(6):1521−1527. http://www.jos.
org.cn/1000-9825/3420.htm [doi: 10.3724/SP.J.1001.2009.03420]
[22] 李壮.可满足性问题的相关问题研究[博士学位论文].长春:吉林大学,2020.

李壮(1988－),男,博士,主要研究领域为人 周文博(1991－),男,博士,CCF 学生会员,
工智能,自动推理,机器学习. 主要研究领域为形式化方法,云计算.

刘磊(1960－),男,教授,博士生导师,CCF 吕帅(1981－),男,博士,副教授,博士生导
专业会员,主要研究领域为软件理论与 师,CCF 高级会员,主要研究领域为人工智
技术. 能,机器学习,自动推理.

张桐搏(1995－),男,硕士,主要研究领域为
人工智能,自动推理,云计算.