Burnett, A. W., & Parkes, A. J. Exploring the landscape of the space of heuristics for local search in SAT. Presented at IEEE Congress on Evolutionary Computation 2017