Show simple item record

dc.contributor.authorIshtaiwi, Abdelraoufen_US
dc.contributor.authorThornton, Johnen_US
dc.contributor.authorSattar, Abdulen_US
dc.contributor.editorMehmet A. Orgun, John Thorntonen_US
dc.date.accessioned2017-05-03T12:54:32Z
dc.date.available2017-05-03T12:54:32Z
dc.date.issued2007en_US
dc.date.modified2008-11-19T02:56:30Z
dc.identifier.refurihttp://www.cit.gu.edu.au/conferences/austai/en_AU
dc.identifier.doi10.1007/978-3-540-76928-6_76en_US
dc.identifier.urihttp://hdl.handle.net/10072/18346
dc.description.abstractMany real-world problems are over-constrained and require search techniques adapted to optimising cost functions rather than search- ing for consistency. This makes the MAX-SAT problem an important area of research for the satisility (SAT) community. In this study we perform an empirical analysis of several of the best performing SAT local search techniques in the domain of unweighted MAX-SAT. In particular, we test two of the most recently developed SAT clause weight redistri- bution algorithms, DDFW and DDFW+, against three more well-known techniques (RSAPS, AdaptNovelty+ and PAWS). Based on an empir- ical study across a range of previously studied problems we conclude that DDFW is the most promising algorithm in terms of robust average performance.en_US
dc.description.peerreviewedYesen_US
dc.description.publicationstatusYesen_AU
dc.format.extent188340 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglishen_US
dc.language.isoen_AU
dc.publisherSpringeren_US
dc.publisher.placeBerlin, Germanyen_US
dc.relation.ispartofstudentpublicationNen_AU
dc.relation.ispartofconferencename20th Australian Joint Conference on Artificial Intelligenceen_US
dc.relation.ispartofconferencetitleAI 2007: Advances in Artificial Intelligenceen_US
dc.relation.ispartofdatefrom2007-12-02en_US
dc.relation.ispartofdateto2007-12-06en_US
dc.relation.ispartoflocationGold Coast, Queensland, Australiaen_US
dc.rights.retentionYen_AU
dc.subject.fieldofresearchcode280213en_US
dc.titleWeight Redistribution for Unweighted MAX-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.rights.copyrightCopyright 2007 Springer. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher. The original publication is available at www.springerlink.com.en_AU
gro.date.issued2007
gro.hasfulltextFull Text


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