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...

Full description

Saved in:
Bibliographic Details
Main Authors: Hai-yan WANG, YANGDan-tong OU, Yong-gang ZHANG, Liang ZHANG
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!