ISSN 1000-1239 CN 11-1777/TP
基于实例化次数的约束求解方法研究
李占山,张乾,张良
Constraint Solving Based on the Number of Instantiation
Li Zhanshan, Zhang Qian, Zhang Liang
计算机研究与发展 . 2015, (5): 1091 -1097 .  DOI: 10.7544/issn1000-1239.2015.20131588