1. The international SAT competitions web page.
http://www.satcompetition.org
2. Lecture Notes in Computer Science;C Ansótegui,2015
3. Audemard, G., Simon, L.: Predicting learnt clauses quality in modern SAT solvers. In: Proceedings of the 21st International Jiont Conference on Artificial Intelligence, IJCAI 2009, pp. 399–404. Morgan Kaufmann Publishers Inc., San Francisco (2009)
4. Biere, A.: Pre, icosat@sc’09. solver description for SAT competition 2009. SAT Competitive Event Booklet (2009)
5. Lecture Notes in Computer Science;A Biere,2015