Show simple item record

dc.contributor.authorFerreira Junior, Valnir
dc.contributor.authorThornton, John
dc.contributor.editorShichao Zhang and Ray Jarvis
dc.date.accessioned2017-05-03T12:54:26Z
dc.date.available2017-05-03T12:54:26Z
dc.date.issued2005
dc.date.modified2007-09-26T06:03:40Z
dc.identifier.refurihttp://attend.it.uts.edu.au/ai05/
dc.identifier.urihttp://hdl.handle.net/10072/2591
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.format.extent1438752 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglish
dc.language.isoeng
dc.publisherSpringer
dc.publisher.placeHeidelberg, Germany
dc.publisher.urihttp://www.springer.com/east/home/generic/search/results?SGWID=5-40109-22-111562437-0
dc.relation.ispartofstudentpublicationN
dc.relation.ispartofconferencename18th Australian Joint Conference on Artificial Intelligence
dc.relation.ispartofconferencetitleAI 2005: Advances in Artificial Intelligence
dc.relation.ispartofdatefrom2005-12-05
dc.relation.ispartofdateto2005-12-09
dc.relation.ispartoflocationSydney
dc.rights.retentionN
dc.subject.fieldofresearchcode280213
dc.titleTie Breaking in Clause Weighting 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© 2005 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
gro.date.issued2005
gro.hasfulltextFull Text
gro.griffith.authorThornton, John R.
gro.griffith.authorFerreira Junior, Valnir


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