This document brieﬂy describes the stochastic local search solver CCA2013 in the conﬁguration it has been submitted to the SAT Challenge 2013. An interesting strategy called conﬁguration checking with aspiration (CCA) was recently proposed to deal with the 3-SAT problem. For large k-SAT it is enhanced with look ahead techniques which signiﬁcantly improves the performance. The solver CCA2013 is an implementation of the CCA algorithm and look ahead, with some minor enhancements.
Proceedings of SAT Competition 2013 : Solver and Benchmark Descriptions
Artificial Intelligence and Image Processing