TY - JOUR AU - Loscos Barroso, Daniel AU - Martí Oliet, Narciso AU - Rodríguez Laguna, Ismael PY - 2025 DO - :10.1016/j.swevo.2025.102010 UR - https://hdl.handle.net/20.500.14352/132927 T2 - Swarm and Evolutionary Computation AB - Identifying key properties of Stochastic Local Search (SLS) algorithms, such as convergence to optimal solutions, is essential. Unfortunately, due to their Turing-completeness and Rice’s theorem, their non-trivial semantic properties are generally... LA - eng KW - Stochastic local search KW - Genetic algorithms KW - Evolutionary computation KW - PSPACE-hardness KW - Turing-completeness KW - Rice’s theorem TI - The difficulty of predicting behavior on stochastic local search algorithms TY - journal article ER -