Extracting Problem Structure with LLMs for Optimized SAT Local Search - Schidler, André; Szeider, Stefan (Proceedings of the International Symposium on Combinatorial Search, 2025)