Sutton, Andrew, et al. “Directed Plateau Search for MAX-K-SAT”. Proceedings of the International Symposium on Combinatorial Search, vol. 1, no. 1, Aug. 2010, pp. 90-97, doi:10.1609/socs.v1i1.18168.