2266 search results - page 32 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
181
click to vote
PODS
2009
ACM
16 years 9 days 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...
111
click to vote
EAAI
2010
14 years 10 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...
105
click to vote
CEC
2009
IEEE
15 years 6 months 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...
GECCO
2009
Springer
15 years 6 months 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...
101
click to vote
ESWA
2010
14 years 9 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...