Show simple item record

dc.contributor.authorPham, Nghiaen_US
dc.contributor.authorThornton, Johnen_US
dc.contributor.authorSattar, Abdulen_US
dc.contributor.authorIshtaiwi, Abdelraoufen_US
dc.contributor.editorManuela Veloso and Subbarao Kambhampatien_US
dc.date.accessioned2017-05-03T12:54:26Z
dc.date.available2017-05-03T12:54:26Z
dc.date.issued2005en_US
dc.date.modified2007-03-21T21:28:36Z
dc.identifier.refurihttp://www.aaai.org/Conferences/AAAI/aaai05.phpen_AU
dc.identifier.urihttp://hdl.handle.net/10072/2590
dc.description.peerreviewedYesen_US
dc.description.publicationstatusYesen_AU
dc.languageEnglishen_US
dc.language.isoen_AU
dc.publisherAAAI Pressen_US
dc.publisher.placeMenlo Park, California, USAen_US
dc.relation.ispartofstudentpublicationNen_AU
dc.relation.ispartofconferencenameThe Twentieth National Conference on Artificial Intelligenceen_US
dc.relation.ispartofconferencetitleProceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligenceen_US
dc.relation.ispartofdatefrom2005-07-09en_US
dc.relation.ispartofdateto2005-07-13en_US
dc.relation.ispartoflocationPittsburgh, USAen_US
dc.rights.retentionYen_AU
dc.subject.fieldofresearchcode280213en_US
dc.titleSAT-based versus CSP-based Constraint Weighting for Satisfiabilityen_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.date.issued2005
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