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

Wanxia Wei Chu Min Li Harry Zhang Switching among Non-Weighting, Clause Weighting, and Variable Weighting in Local Search for SAT. 313-326 2008 CP http://dx.doi.org/10.1007/978-3-540-85958-1_21 conf/cp/2008 db/conf/cp/cp2008.html#WeiLZ08