Show simple item record

dc.contributor.authorSu, Kaileen_US
dc.contributor.authorCai, Shaoweien_US
dc.contributor.editorJörg Hoffmann and Bart Selmanen_US
dc.date.accessioned2017-05-03T14:39:44Z
dc.date.available2017-05-03T14:39:44Z
dc.date.issued2012en_US
dc.date.modified2013-06-07T05:24:41Z
dc.identifier.refurihttp://www.aaai.org/Conferences/AAAI/aaai12.phpen_US
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.en_US
dc.description.peerreviewedYesen_US
dc.description.publicationstatusYesen_US
dc.languageEnglishen_US
dc.language.isoen_US
dc.publisherAAAI Pressen_US
dc.publisher.placeCanadaen_US
dc.publisher.urihttp://www.aaai.org/Conferences/AAAI/aaai12.phpen_US
dc.relation.ispartofstudentpublicationNen_US
dc.relation.ispartofconferencenameAAAI 2012en_US
dc.relation.ispartofconferencetitleProceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligenceen_US
dc.relation.ispartofdatefrom2012-07-22en_US
dc.relation.ispartofdateto2012-07-26en_US
dc.relation.ispartoflocationToronto, Ontario, Canadaen_US
dc.rights.retentionYen_US
dc.subject.fieldofresearchArtificial Intelligence and Image Processing not elsewhere classifieden_US
dc.subject.fieldofresearchcode080199en_US
dc.titleConfiguration Checking with Aspiration in Local Search for SATen_US
dc.typeConference outputen_US
dc.type.descriptionE1 - Conference Publications (HERDC)en_US
dc.type.codeE - Conference Publicationsen_US
gro.facultyGriffith Sciences, School of Information and Communication Technologyen_US
gro.date.issued2012
gro.hasfulltextNo Full Text


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