浏览全部资源
扫码关注微信
1. 吉林大学 计算机科学与技术学院,吉林 长春 130012
2. 吉林大学 符号计算与知识工程教育部重点实验室,吉林 长春 130012
3. 吉林师范大学 计算机学院,吉林 四平 136000
[ "王海燕(1980-),女,吉林白城人,吉林大学博士生,吉林师范大学讲师,主要研究方向为约束求解与约束优化。" ]
[ "欧阳丹彤(1968-),女,吉林长春人,吉林大学教授、博士生导师,主要研究方向为基于模型诊断、自动推理、模型检测等。" ]
[ "张永刚[通信作者](1975-),男,辽宁沈阳人,吉林大学副教授、硕士生导师,主要研究方向为约束求解与约束优化。E-mail:zhangyg@jlu.edu.cn。" ]
[ "张良(1990-),男,河北故城人,吉林大学硕士生,主要研究方向为约束求解与约束优化。" ]
网络出版日期:2013-06,
纸质出版日期:2013-06-25
移动端阅览
王海燕, 欧阳丹彤, 张永刚, 等. 结合look-ahead值排序的自适应分支求解算法[J]. 通信学报, 2013,34(6):102-107.
Hai-yan WANG, YANGDan-tong OU, Yong-gang ZHANG, et al. Novel adaptive branching constraint solving algorithm with look-ahead strategy[J]. Journal on communications, 2013, 34(6): 102-107.
王海燕, 欧阳丹彤, 张永刚, 等. 结合look-ahead值排序的自适应分支求解算法[J]. 通信学报, 2013,34(6):102-107. DOI: 10.3969/j.issn.1000-436X.2013.06.012.
Hai-yan WANG, YANGDan-tong OU, Yong-gang ZHANG, et al. Novel adaptive branching constraint solving algorithm with look-ahead strategy[J]. Journal on communications, 2013, 34(6): 102-107. DOI: 10.3969/j.issn.1000-436X.2013.06.012.
0
浏览量
3
下载量
CSCD
关联资源
相关文章
相关作者
相关机构