La Búsqueda Local Estocástica (Stochastic Local Search, SLS) consiste en realizar pequeñas transiciones sobre un espacio de estados, aumentada con movimientos estocásticos. A pesar de ser un método incompleto (es decir, no existen garantías de terminación), su enorme simplicidad la convierte en una técnica efectiva en muchos casos, siendo una mejor alternativa (o complemento) que otros métodos completos que pueden tardar, en el peor caso, un tiempo exponencial. En esta charla se abordará la aplicación de métodos basados en SLS para resolver el Problema de Satisfacibilidad Booleana (SAT), analizando las principales técnicas del estado del arte en SLS para SAT así como los desafíos abiertos existentes.