2266 search results - page 302 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
124
click to vote
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Iterated local search (ILS) is a powerful meta-heuristic algorithm applied to a large variety of combinatorial optimization problems. Contrary to evolutionary algorithms ...
123
Voted
TEC
2008
15 years 3 months ago
2008
Abstract--We propose a novel variation to biogeographybased optimization (BBO), which is an evolutionary algorithm (EA) developed for global optimization. The new algorithm employs...
142
click to vote
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
This paper presents two evolutionary algorithms, ECGA and BOA, applied to constructing stock market trading expertise, which is built on the basis of a set of specific trading ru...
123
Voted
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
Rigorous runtime analyses of evolutionary algorithms (EAs) mainly investigate algorithms that use elitist selection methods. Two algorithms commonly studied are Randomized Local S...
114
Voted
JAIR
2000
15 years 3 months ago
2000
The local search algorithm WSat is one of the most successful algorithms for solving the satisfiability (SAT) problem. It is notably effective at solving hard Random 3-SAT instanc...