Exploring the landscape of the space of heuristics for local search in SAT
(2017)
Presentation / Conference Contribution
Burnett, A. W., & Parkes, A. J. (2017). Exploring the landscape of the space of heuristics for local search in SAT.
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.