Theory and Applications of Satisfiability Testing
Volume 3569 of the series Lecture Notes in Computer Science pp 269-281
Constraint Metrics for Local Search
- Finnegan SoutheyAffiliated withDept. of Computing Science, University of Alberta
Abstract
Over the years, a steadily improving series of local search solvers for propositional satisfiability (SAT) have been constructed. However, these solvers are often fragile, in that they have apparently minor details in their implementation that dramatically affect performance and confound understanding. In order to understand and predict the success of differing strategies, various local search metrics have been proposed. Many of these metrics summarize properties of the boolean assignments examined during the search. This has two consequences: first, they only capture one side of satisfiability, failing to characterize the behaviour with respect to constraints. Secondly, the boolean requirement limits the applicability of these metrics to more general constraint satisfaction problems (CSPs), which can have non-boolean domains.
In response, we present dual metrics, derived from existing primal (boolean assignment) metrics, that are based on the states of constraints during the search. Experimental results show a strong relationship between the primal and dual versions of these metrics on a variety of random and structured problems. This dual perspective can be easily applied to both SAT and general CSPs, allowing for new insights into the workings of a broad class of local search methods.
- Title
- Constraint Metrics for Local Search
- Book Title
- Theory and Applications of Satisfiability Testing
- Book Subtitle
- 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
- Pages
- pp 269-281
- Copyright
- 2005
- DOI
- 10.1007/11499107_20
- Print ISBN
- 978-3-540-26276-3
- Online ISBN
- 978-3-540-31679-4
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- 3569
- Series ISSN
- 0302-9743
- Publisher
- Springer Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- Additional Links
- Topics
- Industry Sectors
- eBook Packages
- Editors
-
- Fahiem Bacchus (16)
- Toby Walsh (17)
- Editor Affiliations
-
- 16. Department of Computer Science, University of Toronto
- 17. Dept. of Computer Science, Trinity College
- Authors
-
- Finnegan Southey (18)
- Author Affiliations
-
- 18. Dept. of Computing Science, University of Alberta,
Continue reading...
To view the rest of this content please follow the download PDF link above.