dc.contributor.convenor | ANU | |
dc.contributor.author | Thornton, J | |
dc.contributor.author | Pullan, W | |
dc.contributor.author | Terry, J | |
dc.contributor.editor | Bob McKay, John Slaney | |
dc.date.accessioned | 2017-05-03T13:58:14Z | |
dc.date.available | 2017-05-03T13:58:14Z | |
dc.date.issued | 2002 | |
dc.date.modified | 2010-07-28T06:59:21Z | |
dc.identifier.isbn | 9783540001973 | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.doi | 10.1007/3-540-36187-1_50 | |
dc.identifier.uri | http://hdl.handle.net/10072/1466 | |
dc.description.abstract | Considerable progress has recently been made in using clause weighting algorithms such as DLM and SDF to solve SAT benchmark problems. While these algorithms have outperformed earlier stochastic techniques on many larger problems, this improvement has been bought at the cost of extra parameters and the complexity of fine tuning these parameters to obtain optimal run-time performance. This paper examines the use of parameters, specifically in relation to DLM, to identify underlying features in clause weighting that can be used to eliminate or predict workable parameter settings. To this end we propose and empirically evaluate a simplified clause weighting algorithm that replaces the tabu list and flat moves parameter used in DLM. From this we show that our simplified clause weighting algorithm is competitive with DLM on the four categories of SAT problem for whichDLMhas already been optimised. | |
dc.description.peerreviewed | Yes | |
dc.description.publicationstatus | Yes | |
dc.format.extent | 56457 bytes | |
dc.format.extent | 25773 bytes | |
dc.format.mimetype | application/pdf | |
dc.format.mimetype | text/plain | |
dc.language | English | |
dc.language.iso | eng | |
dc.publisher | Springer | |
dc.publisher.place | Germany | |
dc.relation.ispartofconferencename | 15th Australian Joint Conference on Artificial Intelligence | |
dc.relation.ispartofconferencetitle | Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) | |
dc.relation.ispartofdatefrom | 2002-12-02 | |
dc.relation.ispartofdateto | 2002-12-06 | |
dc.relation.ispartoflocation | Canberra, Australia | |
dc.relation.ispartofpagefrom | 569 | |
dc.relation.ispartofpageto | 578 | |
dc.relation.ispartofvolume | 2557 | |
dc.subject.fieldofresearchcode | 280213 | |
dc.title | Towards Fewer Parameters for SAT Clause Weighting Algorithms | |
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 | © 2002 Springer-Verlag. 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 | 2002 | |
gro.hasfulltext | Full Text | |
gro.griffith.author | Pullan, Wayne J. | |