Show simple item record

dc.contributor.authorLi, Chengqian
dc.contributor.authorFan, Yi
dc.date.accessioned2013-08-15
dc.date.accessioned2017-03-01T23:35:47Z
dc.date.available2017-03-01T23:35:47Z
dc.date.issued2013
dc.date.modified2014-05-27T22:26:58Z
dc.identifier.doi10.1007/978-3-642-39071-5
dc.identifier.urihttp://hdl.handle.net/10072/59361
dc.description.abstractThis document briefly describes the stochastic local search solver CCA2013 in the configuration it has been submitted to the SAT Challenge 2013. An interesting strategy called configuration checking with aspiration (CCA) was recently proposed to deal with the 3-SAT problem. For large k-SAT it is enhanced with look ahead techniques which significantly improves the performance. The solver CCA2013 is an implementation of the CCA algorithm and look ahead, with some minor enhancements.
dc.description.peerreviewedNo
dc.description.publicationstatusYes
dc.languageEnglish
dc.language.isoeng
dc.publisherUniversity of Helsinki
dc.publisher.placeHelsinki
dc.publisher.urihttp://sat2013.cs.helsinki.fi/
dc.relation.ispartofstudentpublicationN
dc.relation.ispartofconferencename16th International Conference on Theory and Applications of Satisfiability Testing
dc.relation.ispartofconferencetitleProceedings of SAT Competition 2013 : Solver and Benchmark Descriptions
dc.relation.ispartofdatefrom2013-07-08
dc.relation.ispartofdateto2013-07-12
dc.relation.ispartoflocationHelsinki
dc.rights.retentionY
dc.subject.fieldofresearchArtificial Intelligence and Image Processing not elsewhere classified
dc.subject.fieldofresearchcode080199
dc.titleCCA2013
dc.typeConference output
dc.type.descriptionE3 - Conferences (Extract Paper)
dc.type.codee3x
gro.facultyFaculty of Science, Environment, Engineering and Technology
gro.date.issued2013
gro.hasfulltextNo Full Text
gro.griffith.authorFan, Yi


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