Zhong Jie

Latest

• An effective variable selection heuristic in SLS for weighted Max-2-SAT Heuristics 21(3): 433-456 (2015)
• CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability IEEE Trans. Computers 64(7): 1830-1843 (2015)