Adaptive Clause Weight Redistribution

Loading...
Thumbnail Image
File version
Author(s)
Ishtaiwi, Abdelraouf
Thornton, John
Anbulagan
Sattar, Abdul
Pham, Duc Nghia
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)

Benhamou, F

Date
2006
Size

222848 bytes

44136 bytes

File type(s)

application/pdf

text/plain

Location

Nantes, FRANCE

License
Abstract

In recent years, dynamic local search (DLS) clause weighting algorithms have emerged as the local search state-of-the-art for solving propositional satisfiability problems. However, most DLS algorithms require the tuning of domain dependent parameters before their performance becomes competitive. If manual parameter tuning is impractical then various mechanisms have been developed that can automatically adjust a parameter value during the search. To date, the most effective adaptive clause weighting algorithm is RSAPS. However, RSAPS is unable to convincingly outperform the best non-weighting adaptive algorithm AdaptNovelty+, even though manually tuned clause weighting algorithms can routinely outperform the Novelty+ heuristic on which AdaptNovelty+ is based. In this study we introduce R+DDFW+, an enhanced version of the DDFWclause weighting algorithmdeveloped in 2005, that not only adapts the total amount of weight according to the degree of stagnation in the search, but also incorporates the latest resolution-based preprocessing approach used by the winner of the 2005 SAT competition (R+ AdaptNovelty+). In an empirical study we show R+DDFW+ improves on DDFW and outperforms the other leading adaptive (R+Adapt-Novelty+, R+RSAPS) and non-adaptive (R+G2WSAT) local search solvers over a range of random and structured benchmark problems.

Journal Title
Conference Title

PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2006

Book Title
Edition
Volume

4204

Issue
Thesis Type
Degree Program
School
DOI
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement

© 2006 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

Item Access Status
Note
Access the data
Related item(s)
Subject
Persistent link to this record
Citation