Benjamin Doerr, Frank Neumann, Andrew M. Sutton: Time Complexity Analysis of Evolutionary Algorithms on Random Satisfiable k-CNF Formulas. Algorithmica 78(2): 561-586 (2017)