@inproceedings{SchilderSzeider25,
 author = {Andr\'{e} Schidler and Stefan Szeider},
 booktitle = {SOCS 2025, The 18th International Symposium on Combinatorial Search. August 12-15, 2025. University of Glasgow, Scotland, United Kingdom},
 keywords = {coe, strides},
 title = {Extracting Problem Structure with {LLMs} for Optimized {SAT} Local Search},
 url = {https://ojs.aaai.org/index.php/SOCS/article/view/35999},
 year = {2025}
}