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

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

[24] Schneider A, Choueiry BY. PW-CT: Extending compact-table to enforce pairwise consistency on table constraints. In: Proc. of the
Int’l Conf. on Principles and Practice of Constraint Programming. Cham: Springer-Verlag, 2018. 345−361.

附中文参考文献:
[4] 李哲,李占山,李颖.基于 GPU 的约束网络模型和并行弧相容算法.计算机研究与发展,2017,54(3):514−528.
[10] 李宏博,梁艳春,李占山.负表约束的简单表缩减广泛弧相容算法.软件学报,2016,27(11):2701−2711. http://www.jos.org.cn/1000-
9825/4874.htm [doi: 10.13328/j.cnki.jos.004874]
[11] 杨明奇,李占山,李哲.优化求解约束满足问题的 MDDc 和 STR3 算法.软件学报,2017,28(12):3156−3166. http://www.jos.org.cn/
1000-9825/5242.htm [doi: 10.13328/j.cnki.jos.005242]
[12] 杨明奇,李占山,张家晨.一种基于时间戳的简单表缩减弧相容算法.软件学报,2019,30(11):3355−3363. http://www.jos.org.cn/
1000-9825/5559.htm [doi: 10.13328/j.cnki.jos.005559]

陈佳楠(1996－),男,硕士,主要研究领域为 李占山(1966－),男,博士,教授,博士生导
约束规划,并行计算. 师,CCF 专业会员,主要研究领域为机器学
习,约束推理.

李哲(1990－),男,博士,主要研究领域为约
束规划,并行计算.