11 search results - page 3 / 3 » jsat 2007 |
144
click to vote
JSAT
2008
15 years 3 months ago
2008
In this paper we describe a stochastic local search (SLS) procedure for finding models of satisfiable propositional formulae. This new algorithm, gNovelty+ , draws on the features...