中国科学院数学与系统科学研究院期刊网
一种值域增长约束满足问题上无回溯算法的分析
徐伟
An Analysis of Backtrack-free Algorithm on a Constraint Satisfaction Problem with Growing Domains
XU Wei
应用数学学报 . 2014, (3): 385 -392 .  DOI: 10.12387/C2014036