Novel adaptive branching constraint solving algorithm with look-ahead strategy
Based on the state-of-the-art scheme of adaptive branching constraint solving, a novel algorithm named AdaptBranch<sup>LVO</sup>was proposed, combined with the look-ahead value ordering heuristics. To demonstrate the efficiency of AdaptBranch<sup>LVO</sup>, sufficient experim...
Saved in:
Main Authors: | , , , |
---|---|
Format: | Article |
Language: | zho |
Published: |
Editorial Department of Journal on Communications
2013-06-01
|
Series: | Tongxin xuebao |
Subjects: | |
Online Access: | http://www.joconline.com.cn/zh/article/doi/10.3969/j.issn.1000-436X.2013.06.012/ |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|