Show simple item record

dc.contributor.authorLuo, Chuan
dc.contributor.authorCai, Shaowei
dc.contributor.authorWu, Wei
dc.contributor.authorSu, Kaile
dc.contributor.editorChristian Schulte
dc.date.accessioned2017-11-17T12:00:36Z
dc.date.available2017-11-17T12:00:36Z
dc.date.issued2013
dc.date.modified2014-02-12T22:29:32Z
dc.identifier.refurihttp://cp2013.a4cp.org/
dc.identifier.doi10.1007/978-3-642-40627-0_37
dc.identifier.urihttp://hdl.handle.net/10072/56725
dc.description.abstractStochastic 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.peerreviewedYes
dc.description.publicationstatusYes
dc.languageEnglish
dc.publisherSpringer
dc.publisher.placeGermany
dc.publisher.urihttp://cp2013.a4cp.org/
dc.relation.ispartofstudentpublicationY
dc.relation.ispartofconferencenameCP 2013: Principles and Practice of Constraint Programming
dc.relation.ispartofconferencetitle19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings Series: Lecture Notes in Computer Science, Vol. 8124
dc.relation.ispartofdatefrom2013-09-16
dc.relation.ispartofdateto2013-09-20
dc.relation.ispartoflocationUppsala, Sweden
dc.relation.ispartofvolume204
dc.rights.retentionY
dc.subject.fieldofresearchArtificial intelligence not elsewhere classified
dc.subject.fieldofresearchcode460299
dc.titleFocused Random Walk with Configuration Checking and Break Minimum for Satisfiability
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
gro.date.issued2013
gro.hasfulltextNo Full Text
gro.griffith.authorSu, Kaile


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record