Sciweavers

JSAT
2008
113views more  JSAT 2008»
14 years 3 months ago
Combining Adaptive and Dynamic Local Search for Satisfiability
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...
Duc Nghia Pham, John Thornton, Charles Gretton, Ab...
AUSAI
2007
Springer
14 years 7 months ago
Advances in Local Search for Satisfiability
In this paper we describe a stochastic local search (SLS) procedure for finding satisfying models of satisfiable propositional formulae. This new algorithm, gNovelty+ , draws on th...
Duc Nghia Pham, John Thornton, Charles Gretton, Ab...
SAT
2004
Springer
95views Hardware» more  SAT 2004»
14 years 8 months ago
Fifty-Five Solvers in Vancouver: The SAT 2004 Competition
Abstract. For the third consecutive year, a SAT competition was organized as a joint event with the SAT conference. With 55 solvers from 25 author groups, the competition was a cle...
Daniel Le Berre, Laurent Simon