dc.contributor.author | Pham, DN | |
dc.contributor.author | Thornton, J | |
dc.contributor.author | Sattar, A | |
dc.contributor.editor | Dieter Fox and Carla Gomes | |
dc.date.accessioned | 2017-05-03T12:54:35Z | |
dc.date.available | 2017-05-03T12:54:35Z | |
dc.date.issued | 2008 | |
dc.date.modified | 2009-05-25T06:41:36Z | |
dc.identifier.isbn | 9781577353683 | |
dc.identifier.refuri | www.aaai.org/Conferences/AAAI/aaai08.php | |
dc.identifier.uri | http://hdl.handle.net/10072/23981 | |
dc.description.abstract | We 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.peerreviewed | Yes | |
dc.description.publicationstatus | Yes | |
dc.format.extent | 136487 bytes | |
dc.format.mimetype | application/pdf | |
dc.language | English | |
dc.language.iso | eng | |
dc.publisher | AAAI Press | |
dc.publisher.place | USA | |
dc.publisher.uri | http://www.aaai.org/Press/Proceedings/aaai08.php | |
dc.relation.ispartofstudentpublication | N | |
dc.relation.ispartofconferencename | 23rd AAAI Conference on Artificial Intelligence (AAAI-08) | |
dc.relation.ispartofconferencetitle | Proceedings of the National Conference on Artificial Intelligence | |
dc.relation.ispartofdatefrom | 2008-07-13 | |
dc.relation.ispartofdateto | 2008-07-17 | |
dc.relation.ispartoflocation | Chicago, USA | |
dc.relation.ispartofpagefrom | 1476 | |
dc.relation.ispartofpageto | 1478 | |
dc.relation.ispartofvolume | 3 | |
dc.rights.retention | Y | |
dc.subject.fieldofresearch | Artificial intelligence not elsewhere classified | |
dc.subject.fieldofresearchcode | 460299 | |
dc.title | Efficiently Exploiting Dependencies in 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 | © 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.issued | 2008 | |
gro.hasfulltext | Full Text | |
gro.griffith.author | Sattar, Abdul | |