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

1. CCEHC_to_akmaxsat first utilizes CCEHC to find an upper bound and the corresponding assignment.

2. CCEHC_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], Shaowei Cai [2], Kaile Su [3], Wenxuan Huang [4]

Institutes: [1] Key laboratory of High Confidence Software Technologies, Peking University, Beijing, China
            [2] State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China
            [3] Institute for Integrated and Intelligent Systems, Griffith University, Brisbane, Australia
            [4] Department of Material Science and Engineering, Massachusetts Institute of Technology, MA, USA