TY  - RPRT
TI  - Extracting Problem Structure with LLMs for Optimized SAT Local Search
AU  - André Schidler
AU  - Stefan Szeider
PY  - 2025
UR  - https://arxiv.org/abs/2501.14630
ID  - 2501.14630
ER  -