通信学报

• 学术论文 • 上一篇    下一篇

结合look-ahead值排序的自适应分支求解算法

王海燕1,2,3，欧阳丹彤1,2，张永刚1,2，张良1,2   

  1. 1. 吉林大学 计算机科学与技术学院，吉林 长春 130012；2. 吉林大学 符号计算与知识工程教育部重点实验室，吉林 长春 130012； 3. 吉林师范大学 计算机学院，吉林 四平 136000
  • 出版日期:2013-06-25 发布日期:2013-06-15
  • 基金资助:
    国家自然科学基金资助项目(61170314,61133011,60973089,61003101,61170092,60973088,41172294);吉林省科技发展计划基金资助项目(20101501,20100185,201101039 )；国家教育部博士点专项基金资助项目(20100061110031)

Novel adaptive branching constraint solving algorithm with look-ahead strategy

  • Online:2013-06-25 Published:2013-06-15

被引次数

2

摘要： 基于新近提出的自适应分支约束求解框架，结合look-ahead值启发式，提出一种新的约束求解算法AdaptBranchLVO。为验证算法效率，在标准测试库上进行了充分对比实验。结果表明，新提出算法在效率上明显优于已有的自适应分支求解算法。

Abstract: Based on the state-of-the-art scheme of adaptive branching constraint solving, a novel algorithm named AdaptBranchLVO was proposed, combined with the look-ahead value ordering heuristics. To demonstrate the efficiency of AdaptBranchLVO, sufficient experiments on the wide range of the problem instances in Benchmark were carried out, and the experiment results show that AdaptBranchLVO outperforms the existing adaptive branching constraint algorithm by a large margin.

No Suggested Reading articles found!