dc.contributor.author | Ferreira Junior, Valnir | |
dc.contributor.author | Thornton, John | |
dc.contributor.editor | Shichao Zhang and Ray Jarvis | |
dc.date.accessioned | 2017-05-03T12:54:26Z | |
dc.date.available | 2017-05-03T12:54:26Z | |
dc.date.issued | 2005 | |
dc.date.modified | 2007-09-26T06:03:40Z | |
dc.identifier.refuri | http://attend.it.uts.edu.au/ai05/ | |
dc.identifier.uri | http://hdl.handle.net/10072/2591 | |
dc.description.peerreviewed | Yes | |
dc.description.publicationstatus | Yes | |
dc.format.extent | 1438752 bytes | |
dc.format.mimetype | application/pdf | |
dc.language | English | |
dc.language.iso | eng | |
dc.publisher | Springer | |
dc.publisher.place | Heidelberg, Germany | |
dc.publisher.uri | http://www.springer.com/east/home/generic/search/results?SGWID=5-40109-22-111562437-0 | |
dc.relation.ispartofstudentpublication | N | |
dc.relation.ispartofconferencename | 18th Australian Joint Conference on Artificial Intelligence | |
dc.relation.ispartofconferencetitle | AI 2005: Advances in Artificial Intelligence | |
dc.relation.ispartofdatefrom | 2005-12-05 | |
dc.relation.ispartofdateto | 2005-12-09 | |
dc.relation.ispartoflocation | Sydney | |
dc.rights.retention | N | |
dc.subject.fieldofresearchcode | 280213 | |
dc.title | Tie Breaking in Clause Weighting Local Search for SAT | |
dc.type | Conference output | |
dc.type.description | E1 - Conferences | |
dc.type.code | E - Conference Publications | |
gro.faculty | Griffith 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.issued | 2005 | |
gro.hasfulltext | Full Text | |
gro.griffith.author | Thornton, John R. | |
gro.griffith.author | Ferreira Junior, Valnir | |