Burnett, Andrew W., Parkes, Andrew J., "Systematic search for local-search SAT heuristics", , 2016