Show simple item record

dc.contributor.authorLin, Hanen_US
dc.contributor.authorSu, Kaileen_US
dc.contributor.editorManuela M. Velosoen_US
dc.date.accessioned2017-04-24T11:58:47Z
dc.date.available2017-04-24T11:58:47Z
dc.date.issued2007en_US
dc.date.modified2008-12-02T04:35:56Z
dc.identifier.refurihttp://www.ijcai-07.org/en_AU
dc.identifier.doihttp://dli.iiit.ac.in/ijcai/IJCAI-2007/PDF/IJCAI07-376.pdfen_AU
dc.identifier.urihttp://hdl.handle.net/10072/18937
dc.description.abstractIn this paper we present a general logical framework for (weighted) MAX-SAT problem, and study properties of inference rules for branch and bound MAX-SAT solver. Several rules, which are not equivalent but ?-equivalent, are proposed, and we show that ?-equivalent rules are also sound. As an example, we show how to exploit inference rules to achieve a new lower bound function for a MAX-2-SAT solver. Our new function is admissible and consistently better than the well-known lower bound function. Based on the study of inference rules, we implement an efficient solver and the experimental results demonstrate that our solver outperforms the most efficient solver that has been implemented very recently [Heras and Larrosa, 2006], especially for large instances.en_US
dc.description.peerreviewedYesen_US
dc.description.publicationstatusYesen_AU
dc.languageEnglishen_US
dc.language.isoen_AU
dc.publisherAAAI Pressen_US
dc.publisher.placeMenlo Park, Californiaen_US
dc.publisher.urihttp://www.ijcai-07.org/en_AU
dc.relation.ispartofstudentpublicationNen_AU
dc.relation.ispartofconferencename20th International Joint Conference on Artificial Intelligenceen_US
dc.relation.ispartofconferencetitleIJCAI-07en_US
dc.relation.ispartofdatefrom2007-01-06en_US
dc.relation.ispartofdateto2008-01-12en_US
dc.relation.ispartoflocationIndiaen_US
dc.rights.retentionYen_AU
dc.subject.fieldofresearchcode280213en_US
dc.titleExploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solvingen_US
dc.typeConference outputen_US
dc.type.descriptionE1 - Conference Publications (HERDC)en_US
dc.type.codeE - Conference Publicationsen_US
gro.date.issued2007
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