Verified stochastic methods.

Gabor Rebner Michael Beer Ekaterina Auer Matthias Stein

Published in: Soft Comput. (2013)

Keyphrases

stochastic methods
optimization methods
optimization method
neural network
genetic algorithm
search algorithm
computational cost
simulated annealing
optimization problems
combining multiple