Burnett, A. W., & Parkes, A. J. (2017). Exploring the landscape of the space of heuristics for local search in SAT.