An effective variable selection heuristic in SLS for weighted Max-2-SAT. - Shaowei Cai 001; Zhong Jie; Kaile Su (J. Heuristics, 2015)

CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability. - Chuan Luo 002; Shaowei Cai 001; Wei Wu 042; Zhong Jie; Kaile Su (IEEE Trans. Computers, 2015)