Exploring the landscape of the space of heuristics for local search in SAT. - Andrew W. Burnett; Andrew J. Parkes (CEC, 2017)