CCLS_to_akmaxsat is a combination of the stochastic local search solver CCLS and the complete solver akmaxsat. The procedures of CCLS_to_akmaxsat are described as follows.

1. CCLS_to_akmaxsat first utilizes CCLS to find an upper bound and the corresponding assignment.

2. CCLS_to_akmaxsat then passes the upper bound and the corresponding assignment to akmaxsat, and finally calls akmaxsat to solve the instance.


Authors: Chuan Luo [1][2], Shaowei Cai [3], Kaile Su [4][5], Wei Wu [6], Zhong Jie [7]

Institutes: [1] Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China
            [2] School of Electronics Engineering and Computer Science, Peking University, Beijing, China
            [3] State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China
            [4] Department of Computer Science, Jinan University, Guangzhou, China
            [5] Institute for Integrated and Intelligent Systems, Griffith University, Brisbane, Australia
            [6] Center for Quantum Computation and Intelligent Systems, University of Technology, Sydney, Sydney, Australia
            [7] NetEase, Inc., Hangzhou, China