D. Whitley, A. Howe, and D. Hains, “Greedy or Not? Best Improving versus First Improving Stochastic Local Search for MAXSAT”, AAAI, vol. 27, no. 1, pp. 940-946, Jun. 2013.