2266 search results - page 263 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
117
click to vote
FORTE
2008
15 years 4 months ago
2008
Abstract. Model generation is an important formal technique for finding interesting instances of computationally hard problems. In this paper we study model generation over Horn lo...
TSP
2008
15 years 3 months ago
2008
This paper presents a new implementation of the YAST algorithm for principal and minor subspace tracking. YAST was initially derived from the Subspace Projection (SP) algorithm by ...
130
Voted
ICPPW
2007
IEEE
15 years 9 months ago
2007
IEEE
Several challenges about computational grid exist in integrating, coordinating and managing of resources and scheduling of applications, due to distributed resources at various le...
161
Voted
GECCO
2000
Springer
15 years 7 months ago
2000
Springer
This paper presents a genetic algorithm based method to solve the capacity and routing assignment problem arising in the design of selfhealing networks using the Virtual Path (VP)...
126
click to vote
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
To help unravel the structure of the universe, astronomers have developed systems which observe large clusters of objects at the same time. One such system is the 2-degree field s...