dc.contributor.author | Luo, Chuan | |
dc.contributor.author | Cai, Shaowei | |
dc.contributor.author | Wu, Wei | |
dc.contributor.author | Su, Kaile | |
dc.contributor.editor | Christian Schulte | |
dc.date.accessioned | 2017-11-17T12:00:36Z | |
dc.date.available | 2017-11-17T12:00:36Z | |
dc.date.issued | 2013 | |
dc.date.modified | 2014-02-12T22:29:32Z | |
dc.identifier.refuri | http://cp2013.a4cp.org/ | |
dc.identifier.doi | 10.1007/978-3-642-40627-0_37 | |
dc.identifier.uri | http://hdl.handle.net/10072/56725 | |
dc.description.abstract | Stochastic local search (SLS) algorithms, especially those adopting the focused random walk (FRW) framework, have exhibited great effectiveness in solving satisfiable random 3-satisfiability (3-SAT) instances. However, they are still unsatisfactory in dealing with huge instances, and are usually sensitive to the clause-to-variable ratio of the instance. In this paper, we present a new FRW algorithm dubbed FrwCB, which behaves more satisfying in the above two aspects. The main idea is a new heuristic called CCBM, which combines a recent diversification strategy named configuration checking (CC) with the common break minimum (BM) variable-picking strategy. By combining CC and BM in a subtle way, CCBM significantly improves the performance of FrwCB, making FrwCB achieve state-of-the-art performance on a wide range of benchmarks. The experiments show that FrwCB significantly outperforms state-of-the-art SLS solvers on random 3-SAT instances, and competes well on random 5-SAT, random 7-SAT and structured instances. | |
dc.description.peerreviewed | Yes | |
dc.description.publicationstatus | Yes | |
dc.language | English | |
dc.publisher | Springer | |
dc.publisher.place | Germany | |
dc.publisher.uri | http://cp2013.a4cp.org/ | |
dc.relation.ispartofstudentpublication | Y | |
dc.relation.ispartofconferencename | CP 2013: Principles and Practice of Constraint Programming | |
dc.relation.ispartofconferencetitle | 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings Series: Lecture Notes in Computer Science, Vol. 8124 | |
dc.relation.ispartofdatefrom | 2013-09-16 | |
dc.relation.ispartofdateto | 2013-09-20 | |
dc.relation.ispartoflocation | Uppsala, Sweden | |
dc.relation.ispartofvolume | 204 | |
dc.rights.retention | Y | |
dc.subject.fieldofresearch | Artificial intelligence not elsewhere classified | |
dc.subject.fieldofresearchcode | 460299 | |
dc.title | Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability | |
dc.type | Conference output | |
dc.type.description | E1 - Conferences | |
dc.type.code | E - Conference Publications | |
gro.date.issued | 2013 | |
gro.hasfulltext | No Full Text | |
gro.griffith.author | Su, Kaile | |