A Switching Criterion for Intensification and Diversification in Local Search for SAT12
Wanxia Wei, Chu Min Li, Harry Zhang · Journal on Satisfiability Boolean Modeling and Computation · 2008
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