1595 search results - page 18 / 319 » An Evolutionary Local Search Algorithm for the Satisfiabilit... |
230
Voted
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
A new model for automatic generation of Evolutionary Algorithms (EAs) by evolutionary means is proposed in this paper. The model is based on a simple Genetic Algorithm (GA). Every...
108
Voted
ICCAD
1996
IEEE
15 years 6 months ago
1996
IEEE
This paper introduces GRASP (Generic seaRch Algorithm for the Satisfiability Problem), an integrated algorithmic framework for SAT that unifies several previously proposed searchp...
94
Voted
ICCS
2004
Springer
15 years 7 months ago
2004
Springer
This work focuses on the synthesis of finite-state machines (FSMs) by observing its input/output behaviors. Evolutionary approaches that have been proposed to solve this problem do...
121
click to vote
ICPPW
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper reports on the development of a novel island model for evolutionary algorithms, which is intrinsically parallel and intended to better utilise resources and outlier sol...
121
Voted
AMC
2006
15 years 2 months ago
2006
This paper considers an extension of a vehicle routing problem with backhauls (VRPB). In this problem, a set of costumers are divided in two subsets consisting of linehaul and bac...