Whitley, D., A. Howe, and D. Hains. “Greedy or Not? Best Improving Versus First Improving Stochastic Local Search for MAXSAT”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 27, no. 1, June 2013, pp. 940-6, doi:10.1609/aaai.v27i1.8668.