Show simple item record

dc.contributor.authorSu, Kaile
dc.contributor.authorCai, Shaowei
dc.contributor.editorJörg Hoffmann and Bart Selman
dc.date.accessioned2017-05-03T14:39:44Z
dc.date.available2017-05-03T14:39:44Z
dc.date.issued2012
dc.date.modified2013-06-07T05:24:41Z
dc.identifier.refurihttp://www.aaai.org/Conferences/AAAI/aaai12.php
dc.identifier.urihttp://hdl.handle.net/10072/48870
dc.description.abstractAn interesting strategy called configuration checking (CC) was recently proposed to handle the cycling problem in local search for Minimum Vertex Cover. A natural question is whether this CC strategy also works for SAT. The direct application of CC did not result in stochastic local search (SLS) algorithms that can compete with the current best SLS algorithms for SAT. In this paper, we propose a new heuristic based on CC for SLS algorithms for SAT, which is called configuration checking with aspiration (CCA). It is used to develop a new SLS algorithm called Swcca. The experiments on random 3-SAT instances show that Swcca significantly outperforms Sparrow2011, the winner of the random satisfiable category of the SAT Competition 2011, which is considered to be the best local search solver for random 3-SAT instances. Moreover, the experiments on structured instances show that Swcca is competitive with Sattime, the best local search solver for the crafted benchmark in the SAT Competition 2011.
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.languageEnglish
dc.language.isoeng
dc.publisherAAAI Press
dc.publisher.placeCanada
dc.publisher.urihttp://www.aaai.org/Conferences/AAAI/aaai12.php
dc.relation.ispartofstudentpublicationN
dc.relation.ispartofconferencenameAAAI 2012
dc.relation.ispartofconferencetitleProceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence
dc.relation.ispartofdatefrom2012-07-22
dc.relation.ispartofdateto2012-07-26
dc.relation.ispartoflocationToronto, Ontario, Canada
dc.rights.retentionY
dc.subject.fieldofresearchArtificial intelligence not elsewhere classified
dc.subject.fieldofresearchcode460299
dc.titleConfiguration Checking with Aspiration in Local Search for SAT
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
gro.facultyGriffith Sciences, School of Information and Communication Technology
gro.date.issued2012
gro.hasfulltextNo Full Text
gro.griffith.authorSu, Kaile
gro.griffith.authorCai, Shaowei


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