Sciweavers

Share
JSAT
2008

A Switching Criterion for Intensification and Diversification in Local Search for SAT

11 years 1 months ago
A Switching Criterion for Intensification and Diversification in Local Search for SAT
We propose a new switching criterion, namely the evenness or unevenness of the distribution of variable weights, and use this criterion to combine intensification and diversification in local search for SAT. We refer to the ways in which state-of-the-art local search algorithms adaptG2 WSATP and V W select a variable to flip, as heuristic adaptG2 WSATP and heuristic V W, respectively. To evaluate the effectiveness of this criterion, we apply it to heuristic adaptG2 WSATP and heuristic V W, in which the former intensifies the search better than the latter, and the latter diversifies the search better than the former. The resulting local search algorithm, which switches between heuristic adaptG2 WSATP and heuristic V W in every step according to this criterion, is called Hybrid. Our experimental results show that, on a broad range of SAT instances presented in this paper, Hybrid inherits the strengths of adaptG2 WSATP and V W, and exhibits generally better performance than adaptG2 WSATP...
Wanxia Wei, Chu Min Li, Harry Zhang
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2008
Where JSAT
Authors Wanxia Wei, Chu Min Li, Harry Zhang
Comments (0)
books