Show simple item record

dc.contributor.authorLuo, Chuan
dc.contributor.authorCai, Shaowei
dc.contributor.authorSu, Kaile
dc.contributor.authorHuang, Wenxuan
dc.date.accessioned2017-07-03T01:31:39Z
dc.date.available2017-07-03T01:31:39Z
dc.date.issued2017
dc.identifier.issn0004-3702
dc.identifier.doi10.1016/j.artint.2016.11.001
dc.identifier.urihttp://hdl.handle.net/10072/341173
dc.description.abstractWeighted maximum satisfiability and (unweighted) partial maximum satisfiability (PMS) are two significant generalizations of maximum satisfiability (MAX-SAT), and weighted partial maximum satisfiability (WPMS) is the combination of the two, with more important applications in practice. Recently, great breakthroughs have been made on stochastic local search (SLS) for weighted MAX-SAT and PMS, resulting in several state-of-the-art SLS algorithms CCLS, Dist and DistUP. However, compared to the great progress of SLS on weighted MAX-SAT and PMS, the performance of SLS on WPMS lags far behind. In this paper, we present a new SLS algorithm named CCEHC for WPMS. CCEHC employs an extended framework of CCLS with a heuristic emphasizing hard clauses, called EHC. With strong accents on hard clauses, EHC has three components: a variable selection mechanism focusing on configuration checking based only on hard clauses, a weighting scheme for hard clauses, and a biased random walk component. Extensive experiments demonstrate that CCEHC significantly outperforms its state-of-the-art SLS competitors. Further experimental results on comparing CCEHC with a state-of-the-art complete solver show the effectiveness of CCEHC on a number of application WPMS instances, and indicate that CCEHC might be beneficial in practice. Also, empirical analyses confirm the effectiveness of each component underlying the EHC heuristic.
dc.description.peerreviewedYes
dc.languageEnglish
dc.language.isoeng
dc.publisherElsevier
dc.relation.ispartofpagefrom26
dc.relation.ispartofpageto44
dc.relation.ispartofjournalArtificial Intelligence
dc.relation.ispartofvolume243
dc.subject.fieldofresearchArtificial intelligence
dc.subject.fieldofresearchCognitive and computational psychology
dc.subject.fieldofresearchcode4602
dc.subject.fieldofresearchcode5204
dc.titleCCEHC: An efficient local search algorithm for weighted partial maximum 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