Burnett, A. W., & Parkes, A. J. (2016). Systematic search for local-search SAT heuristics.