2266 search results - page 32 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
259
click to vote
PODS
2009
ACM
16 years 6 months ago
2009
ACM
In this work we investigate the satisfiability problem for the logic XPath( , , =), that includes all downward axes as well as equality and inequality tests. We address this probl...
187
Voted
EAAI
2010
15 years 4 months ago
2010
Aircraft sizing studies consist in determining the main characteristics of an aircraft starting from a set of requirements. These studies can be summarized as global constrained o...
171
click to vote
CEC
2009
IEEE
16 years 21 days ago
2009
IEEE
— In this paper, the performance assessment of the hybrid Archive-based Micro Genetic Algorithm (AMGA) on a set of bound-constrained synthetic test problems is reported. The hybr...
167
click to vote
GECCO
2009
Springer
16 years 15 days ago
2009
Springer
We propose a variation of the standard genetic algorithm that incorporates social interaction between the individuals in the population. Our goal is to understand the evolutionary...
167
Voted
ESWA
2010
15 years 3 months ago
2010
The Cell Formation Problem is a crucial component of a cell production design in a manufacturing system. This problem consists of a set of product parts to be manufactured in a gr...