Show simple item record

dc.contributor.authorLuo, Chuan
dc.contributor.authorCai, Shaowei
dc.contributor.authorSu, Kaile
dc.contributor.authorWu, Wei
dc.date.accessioned2018-03-09T03:44:41Z
dc.date.available2018-03-09T03:44:41Z
dc.date.issued2015
dc.identifier.issn2168-2267
dc.identifier.doi10.1109/TCYB.2014.2343242
dc.identifier.urihttp://hdl.handle.net/10072/140000
dc.description.abstractTwo-mode stochastic local search (SLS) and focused random walk (FRW) are the two most influential paradigms of SLS algorithms for the propositional satisfiability (SAT) problem. Recently, an interesting idea called configuration checking (CC) was proposed to handle the cycling problem in SLS. The CC idea has been successfully used to improve SLS algorithms for SAT, resulting in state-of-the-art solvers. Previous CC strategies for SAT are based on neighboring variables, and prove successful in two-mode SLS algorithms. However, this kind of neighboring variables based CC strategy is not suitable for improving FRW algorithms. In this paper, we propose a new CC strategy which is based on clause states. We apply this clause states based CC (CSCC) strategy to both two-mode SLS and FRW paradigms. Our experiments show that the CSCC strategy is effective on both paradigms. Furthermore, our developed FRW algorithms based on CSCC achieve state-of-the-art performance on a broad range of random SAT benchmarks.
dc.description.peerreviewedYes
dc.languageEnglish
dc.language.isoeng
dc.publisherIEEE
dc.publisher.placeUnited States
dc.relation.ispartofpagefrom1014
dc.relation.ispartofpageto1027
dc.relation.ispartofissue5
dc.relation.ispartofjournalIEEE Transactions on Cybernetics
dc.relation.ispartofvolume45
dc.subject.fieldofresearchArtificial Intelligence and Image Processing not elsewhere classified
dc.subject.fieldofresearchApplied Mathematics
dc.subject.fieldofresearchArtificial Intelligence and Image Processing
dc.subject.fieldofresearchElectrical and Electronic Engineering
dc.subject.fieldofresearchcode080199
dc.subject.fieldofresearchcode0102
dc.subject.fieldofresearchcode0801
dc.subject.fieldofresearchcode0906
dc.titleClause States Based Configuration Checking in Local Search for Satisfiability
dc.typeJournal article
dc.type.descriptionC1 - Articles
dc.type.codeC - Journal Articles
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)

  • Journal articles
    Contains articles published by Griffith authors in scholarly journals.

Show simple item record