Show simple item record

dc.contributor.convenorFrancesca Rossi
dc.contributor.authorCai, Shaowei
dc.contributor.authorSu, Kaile
dc.contributor.editorFrancesca Rossi
dc.date.accessioned2017-12-05T01:12:08Z
dc.date.available2017-12-05T01:12:08Z
dc.date.issued2013
dc.date.modified2014-02-12T22:28:59Z
dc.identifier.refurihttp://ijcai13.org/
dc.identifier.urihttp://hdl.handle.net/10072/56724
dc.description.abstractIt is widely acknowledged that stochastic local search (SLS) algorithms can efficiently find models of satisfiable formulae for the Boolean Satisfiability (SAT) problem. There has been much interest in studying SLS algorithms on random k-SAT instances. Compared to random 3-SAT instances which have special statistical properties rendering them easy to solve, random k-SAT instances with long clauses are similar to structured ones and remain very difficult. This paper is devoted to efficient SLS algorithms for random k-SAT instances with long clauses. By combining a novel variable property subscore with the commonly used property score, we design a scoring function named comprehensive score, which is utilized to develop a new SLS algorithm called CScoreSAT. The experiments show that CScoreSAT outperforms state-ofthe- art SLS solvers, including the winners of recent SAT competitions, by one to two orders of magnitudes on large random 5-SAT and 7-SAT instances. In addition, CScoreSAT significantly outperforms its competitors on random k-SAT instances for each k = 4; 5; 6; 7 from SAT Challenge 2012, which indicates its robustness.
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.languageEnglish
dc.publisherAAAI Press
dc.publisher.placeUnited States
dc.publisher.urihttps://www.ijcai.org/Abstract/13/080
dc.relation.ispartofstudentpublicationY
dc.relation.ispartofconferencenameIJCAI 2013
dc.relation.ispartofconferencetitleProceedings of the 23rd International Joint Conference on Artificial Intelligence
dc.relation.ispartofdatefrom2013-08-03
dc.relation.ispartofdateto2013-08-09
dc.relation.ispartoflocationBeijing, China
dc.relation.ispartofpagefrom489
dc.relation.ispartofpageto495
dc.rights.retentionY
dc.subject.fieldofresearchArtificial Intelligence and Image Processing not elsewhere classified
dc.subject.fieldofresearchcode080199
dc.titleComprehensive Score: Towards Efficient Local Search for SAT with Long Clauses
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
dc.description.versionVersion of Record (VoR)
gro.facultyGriffith Sciences, School of Information and Communication Technology
gro.rights.copyright© 2013 International Joint Conference on Artificial Intelligence. The attached file is reproduced here in accordance with the copyright policy of the publisher. Please refer to the journal's website for access to the definitive, published version.
gro.date.issued2013
gro.hasfulltextFull Text
gro.griffith.authorSu, Kaile
gro.griffith.authorCai, Shaowei


Files in 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