Files in this item
Optimal implementation of watched literals and more general techniques
Item metadata
dc.contributor.author | Gent, Ian Philip | |
dc.date.accessioned | 2013-11-01T10:31:01Z | |
dc.date.available | 2013-11-01T10:31:01Z | |
dc.date.issued | 2013-10 | |
dc.identifier.citation | Gent , I P 2013 , ' Optimal implementation of watched literals and more general techniques ' , Journal of Artificial Intelligence Research , vol. 48 , pp. 231-252 . | en |
dc.identifier.issn | 1076-9757 | |
dc.identifier.other | PURE: 75915004 | |
dc.identifier.other | PURE UUID: 0016a4d0-e27d-4fd6-99f5-094ccfc26742 | |
dc.identifier.other | Scopus: 84888340924 | |
dc.identifier.uri | https://hdl.handle.net/10023/4132 | |
dc.description | Includes 2 appendixes: one with additional proofs and one with code, scripts and data. | en |
dc.description.abstract | I prove that an implementation technique for scanning lists in backtracking search algorithms is optimal. The result applies to a simple general framework, which I present: applications include watched literal unit propagation in SAT and a number of examples in constraint satisfaction. Techniques like watched literals are known to be highly space efficient and effective in practice. When implemented in the 'circular' approach described here, these techniques also have optimal run time per branch in big-O terms when amortized across a search tree. This also applies when multiple list elements must be found. The constant factor overhead of the worst case is only 2. Replacing the existing non-optimal implementation of unit propagation in MiniSat speeds up propagation by 29%, though this is not enough to improve overall run time significantly. | |
dc.format.extent | 22 | |
dc.language.iso | eng | |
dc.relation.ispartof | Journal of Artificial Intelligence Research | en |
dc.rights | (c)2013 AI Access Foundation. Deposited in accordance with publisher's policy. | en |
dc.subject | QA75 Electronic computers. Computer science | en |
dc.subject.lcc | QA75 | en |
dc.title | Optimal implementation of watched literals and more general techniques | en |
dc.type | Journal article | en |
dc.description.version | Publisher PDF | en |
dc.contributor.institution | University of St Andrews. School of Computer Science | en |
dc.contributor.institution | University of St Andrews. Centre for Interdisciplinary Research in Computational Algebra | en |
dc.description.status | Peer reviewed | en |
dc.identifier.url | http://www.jair.org/papers/paper4016.html | en |
This item appears in the following Collection(s)
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.