CCA2013
Author(s)
Li, Chengqian
Fan, Yi
Griffith University Author(s)
Year published
2013
Metadata
Show full item recordAbstract
This document briefly describes the stochastic local search solver CCA2013 in the configuration it has been submitted to the SAT Challenge 2013. An interesting strategy called configuration 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 significantly improves the performance. The solver CCA2013 is an implementation of the CCA algorithm and look ahead, with some minor enhancements.This document briefly describes the stochastic local search solver CCA2013 in the configuration it has been submitted to the SAT Challenge 2013. An interesting strategy called configuration 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 significantly improves the performance. The solver CCA2013 is an implementation of the CCA algorithm and look ahead, with some minor enhancements.
View less >
View less >
Conference Title
Proceedings of SAT Competition 2013 : Solver and Benchmark Descriptions
Publisher URI
Subject
Artificial Intelligence and Image Processing not elsewhere classified