An effective variable selection heuristic in SLS for weighted Max-2-SAT Heuristics 21(3): 433-456 (2015)