Zhong Jie

Publication Activity (10 Years)

Years Active: 2015-2015
Publications (10 Years): 0

Top Topics

Weighted Max Sat

Search Algorithm

Variable Selection

Top Venues

IEEE Trans. Computers

Publications

Chuan Luo, Shaowei Cai, Wei Wu, Zhong Jie, Kaile Su
CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability. IEEE Trans. Computers 64 (7) (2015)
Shaowei Cai, Zhong Jie, Kaile Su
An effective variable selection heuristic in SLS for weighted Max-2-SAT. J. Heuristics 21 (3) (2015)