Show simple item record

dc.contributor.authorPham, DN
dc.contributor.authorThornton, J
dc.contributor.authorSattar, A
dc.contributor.editorDieter Fox and Carla Gomes
dc.date.accessioned2017-05-03T12:54:35Z
dc.date.available2017-05-03T12:54:35Z
dc.date.issued2008
dc.date.modified2009-05-25T06:41:36Z
dc.identifier.isbn9781577353683
dc.identifier.refuriwww.aaai.org/Conferences/AAAI/aaai08.php
dc.identifier.urihttp://hdl.handle.net/10072/23981
dc.description.abstractWe propose a new local search platform that splits a CNF formula into three sub-components: i) a minimal dependency lattice (representing the core connections between logic gates), ii) a conjunction of equivalence clauses, and iii) the remaining clauses. We also adopt a new hierarchical cost function that focuses on solving the core components of the problem first. We then show experimentally that our platform not only significantly outperforms existing local search approaches but is also competitive with modern systematic solvers on highly structured problems.
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.format.extent136487 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglish
dc.language.isoeng
dc.publisherAAAI Press
dc.publisher.placeUSA
dc.publisher.urihttp://www.aaai.org/Press/Proceedings/aaai08.php
dc.relation.ispartofstudentpublicationN
dc.relation.ispartofconferencename23rd AAAI Conference on Artificial Intelligence (AAAI-08)
dc.relation.ispartofconferencetitleProceedings of the National Conference on Artificial Intelligence
dc.relation.ispartofdatefrom2008-07-13
dc.relation.ispartofdateto2008-07-17
dc.relation.ispartoflocationChicago, USA
dc.relation.ispartofpagefrom1476
dc.relation.ispartofpageto1478
dc.relation.ispartofvolume3
dc.rights.retentionY
dc.subject.fieldofresearchArtificial intelligence not elsewhere classified
dc.subject.fieldofresearchcode460299
dc.titleEfficiently Exploiting Dependencies in Local Search for SAT
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
gro.facultyGriffith Sciences, School of Information and Communication Technology
gro.rights.copyright© 2008 AAAI Press. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher. Use hypertext link for access to conference website.
gro.date.issued2008
gro.hasfulltextFull Text
gro.griffith.authorSattar, Abdul


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