12 search results - page 3 / 3 » Adaptive Clause Weight Redistribution |
AUSAI
2007
Springer
14 years 16 days ago
2007
Springer
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...
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
Identification of those genes that might anticipate the clinical behavior of different types of cancers is challenging due to availability of a smaller number of patient samples...