Anbulagan, Anbu; Pham, Duc Nghia; Slaney, John K; Sattar, Abdul
Recent work on Stochastic Local Search (SLS) for the SAT and CSP domains has shown the importance of a dynamic (non-markovian) strategy for weighting clauses in order to escape from local minima. In this paper, we improve the performance of two best contemprorary clause weighting solvers, PAWS and SAPS, by integrating a prepositional resolution procedure. We also extend the work to AdaptNovelty+, the best non-weighting SLS solver in the GSAT/WalkSAT series. One outcome is that our systems can...[Show more]
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.