Extracting Problem Structure with LLMs for Optimized SAT Local Search

André Schidler, Stefan Szeider
January 2025
PDF Cite Project Project
Type
Conference Paper
Coe Strides
Stefan Szeider
Stefan Szeider
Head of Research Unit

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