1. Atserias, A., Fichte, J.K., Thurley, M.: Clause-learning algorithms with many restarts and bounded-width resolution. JAIR 40, 353–373 (2011)
2. Audemard, G., Simon, L.: Predicting learnt clauses quality in modern SAT solvers. In: Proceedings of IJCAI 2009, pp. 399–404 (2009)
3. Audemard, G., Simon, L.: Refining restarts strategies for SAT and UNSAT. In: Milano, M. (ed.) Proceedings of CP 2012, pp. 118–126 (2012)
4. Biedenkapp, A., Bozkurt, H.F., Eimer, T., Hutter, F., Lindauer, M.: Dynamic algorithm configuration: foundation of a new meta-algorithmic framework. In: Proceedings of ECAI 2020 (2020)
5. Biere, A.: Adaptive restart strategies for conflict driven SAT solvers. In: Proceedings of SAT 2008, pp. 28–33 (2008)