Switching among Non-Weighting, Clause Weighting, and Variable Weighting in Local Search for SAT.

Wanxia Wei, Chu Min Li, Harry Zhang

Browse the full CP paper archive.