Extracting Problem Structure with LLMs for Optimized SAT Local Search

Abstract

Full Citation:

Andr'e Schidler, Stefan Szeider. Extracting Problem Structure with LLMs for Optimized SAT Local Search. SOCS 2025, The 18th International Symposium on Combinatorial Search. August 12-15, 2025. University of Glasgow, Scotland, United Kingdom, 2025.

Stefan Szeider

Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.