2266 search results - page 300 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
113
Voted
GECCO
2010
Springer
15 years 6 months ago
2010
Springer
SBSE techniques have been widely applied to requirements selection and prioritization problems in order to ascertain a suitable set of requirements for the next release of a syste...
131
Voted
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
Hereditary Repulsion (HR) is a selection method coupled with a fitness constraint that substantially improves the performance and consistency of evolutionary algorithms. This als...
164
click to vote
TEC
2008
15 years 3 months ago
2008
In recent years, interest in studying evolutionary algorithms (EAs) for dynamic optimization problems (DOPs) has grown due to its importance in real-world applications. Several app...
128
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
We study the problem of factoring univariate polynomials over finite fields. Under the assumption of the Extended Riemann Hypothesis (ERH), Gao [Gao01] designed a polynomial time ...
125
Voted
CEC
2009
IEEE
15 years 10 months ago
2009
IEEE
— One of the main tasks software testing involves is the generation of the test inputs to be used during the test. Due to its expensive cost, the automation of this task has beco...