Burnett, Andrew W., Parkes, Andrew J., "Exploring the landscape of the space of heuristics for local search in SAT", , 2017