Whitley, D., Howe, A., & Hains, D. (2013). Greedy or Not? Best Improving versus First Improving Stochastic Local Search for MAXSAT. Proceedings of the AAAI Conference on Artificial Intelligence, 27(1), 940-946. https://doi.org/10.1609/aaai.v27i1.8668