Swcca_ms is an adaptaion of the Swcca algorithm, and is a stochastic local search solver for unweighted MAX-SAT instances. 

The algorithmic descriptions of SWCCA can be found in the paper "Configuration Checking with Aspiration in Local Search for SAT", AAAI'2012.


Authors: Shaowei Cai [1], Chuan Luo [2], Kaile Su [3]

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