Exploring the landscape of the space of heuristics for local search in SAT
(2017)
Presentation / Conference Contribution
Burnett, A. W., & Parkes, A. J. Exploring the landscape of the space of heuristics for local search in SAT. Presented at IEEE Congress on Evolutionary Computation 2017
Local search is a powerful technique on many combinatorial optimisation problems. However, the effectiveness of local search methods will often depend strongly on the details of the heuristics used within them. There are many potential heuristics, an... Read More about Exploring the landscape of the space of heuristics for local search in SAT.