1. Amadini, R., Gabbrielli, M., Mauro, J.: Sunny: a lazy portfolio approach for constraint solving. arXiv preprint arXiv:1311.3353 (2013)
2. Audemard, G., Simon, L.: Predicting learnt clauses quality in modern SAT solvers. In: Proceedings of IJCAI, pp. 399–404 (2009)
3. Audemard, G., Simon, L.: Glucose 2.1: Aggressive, but reactive, clause database management, dynamic restarts (system description). In: Pragmatics of SAT 2012 (POS 2012), dans le cadre de SAT 2012, June 2012
4. Lecture Notes in Computer Science;G Audemard,2012
5. Belov, A., Heule, M.J., Diepold, D., Järvisalo, M.: The application and the hard combinatorial benchmarks in sat competition 2014. SAT COMPETITION 2014, p. 81 (2014)