Handbook of Formal Optimization

The book covers a vast array of formal optimization fields, including mathematical and Bayesian optimization, neural networks and deep learning, genetic algorithms and their applications, hybrid optimization methods, combinatorial optimization, constraint handling in optimization methods, and swarm-based optimization.