On Improving Local Search for Unsatisfiability

David Pereira, Inês Lynce, Steven Prestwich

Stochastic local search (SLS) has been an active field of research in the last few years, with new techniques and procedures being developed at an astonishing rate. SLS has been tr…