26 search results - page 6 / 6 » Path-Sensitive Analysis for Linear Arithmetic and Uninterpre... |
141
click to vote
GECCO
2004
Springer
15 years 8 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...