@inproceedings { , title = {Systematic search for local-search SAT heuristics}, abstract = {Heuristics for local-search are a commonly used method of improving the performance of algorithms that solve hard computational problems. Generally these are written by human experts, however a long-standing research goal has been to automate the construction of these heuristics. In this paper, we investigate the applicability of a systematic search on the space of heuristics to be used in a local-search SAT solver.}, conference = {6th International Conference on Metaheuristics and Nature Inspired Computing (META 2016)}, organization = {Marrakech, Morocco}, publicationstatus = {Published}, url = {https://nottingham-repository.worktribe.com/output/821007}, year = {2016}, author = {Burnett, Andrew W. and Parkes, Andrew J.} }