2266 search results - page 233 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
156
click to vote
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
Evolutionary relationships among species can be represented by a phylogenetic tree and inferred by optimising some measure of fitness, such as the statistical likelihood of the t...
150
click to vote
SOFSEM
2012
Springer
13 years 10 months ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
76
Voted
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
We present in this work a wide spectrum of results on analyzing the behavior of parallel heuristics for solving optimization problems. We focus on evolutionary algorithms as well ...
125
click to vote
TEC
2002
15 years 2 months ago
2002
We present an optimization algorithm based on a model of bacterial chemotaxis. The original biological model is used to formulate a simple optimization algorithm, which is evaluate...
125
click to vote
JOIN
2007
15 years 3 months ago
2007
This paper is devoted to the following incremental problem. Initially, a graph and a distinguished subset of vertices, called initial group, are given. This group is connected by ...