1. Audemard, G., Simon, L.: Predicting learnt clauses quality in modern SAT solvers. In: Boutilier, C. (ed.) IJCAI 2009, pp. 399–404. Morgan Kaufmann Publishers Inc., Pasadena (2009)
2. Audemard, G., Simon, L.: Glucose 2.3 in the SAT 2013 competition. In: Balint, et al. (eds.) [3], pp. 42–43
3. Balint, A., Belov, A., Heule, M.J., Järvisalo, M. (eds.): Proceedings of SAT Challenge 2013, Department of Computer Science Series of Publications B, vol. B-2013-1. University of Helsinki, Helsinki, Finland (2013)
4. Biere, A.: PrecoSAT system description (2009),
http://fmv.jku.at/precosat/preicosat-sc09.pdf
5. Biere, A.: Lingeling, Plingeling and Treengeling entering the SAT competition 2013. In: Balint, et al. (eds.) [3], pp. 51–52