CCA2013

No Thumbnail Available
File version
Author(s)
Li, Chengqian
Fan, Yi
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Date
2013
Size
File type(s)
Location

Helsinki

License
Abstract

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.

Journal Title
Conference Title

Proceedings of SAT Competition 2013 : Solver and Benchmark Descriptions

Book Title
Edition
Volume
Issue
Thesis Type
Degree Program
School
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
Item Access Status
Note
Access the data
Related item(s)
Subject

Artificial Intelligence and Image Processing not elsewhere classified

Persistent link to this record
Citation