26 search results - page 6 / 6 » Path-Sensitive Analysis for Linear Arithmetic and Uninterpre... |
GECCO
2004
Springer
13 years 10 months ago
2004
Springer
Hybrid algorithms that combine genetic algorithms with the Nelder-Mead simplex algorithm have been effective in solving certain optimization problems. In this article, we apply a s...