2266 search results - page 183 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
195
Voted
IC3
2010
15 years 2 months ago
2010
Artificial Immune System (AIS) is taken into account from evolutionary algorithms that have been inspired from defensive mechanism of complex natural immune system. For using this ...
126
click to vote
CIBCB
2005
IEEE
15 years 7 months ago
2005
IEEE
— In this paper we address the problem of finding gene regulatory networks from experimental DNA microarray data. We focus on the evaluation of the performance of memetic algori...
103
click to vote
CEC
2009
IEEE
15 years 6 months ago
2009
IEEE
—A cooperative coevolutionary algorithm (CCEA) is an extension to an evolutionary algorithm (EA); it employs a divide and conquer strategy to solve an optimization problem. In it...
CORR
2008
Springer
15 years 2 months ago
2008
Springer
We propose a new quantifier elimination algorithm for the theory of linear real arithmetic. This algorithm uses as subroutines satisfiability modulo this theory and polyhedral pro...
110
click to vote
LATA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Gene trees are leaf-labeled trees inferred from molecular sequences. Due to duplication events arising in genome evolution, gene trees usually have multiple copies of som...