Systematic search for local-search SAT heuristics
(2016)
Presentation / Conference Contribution
Burnett, A. W., & Parkes, A. J. (2016). Systematic search for local-search SAT heuristics.
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 con... Read More about Systematic search for local-search SAT heuristics.