Extracting Problem Structure with LLMs for Optimized SAT Local Search.

Andr Schidler, Stefan Szeider

Browse the full SoCS paper archive.