Extracting Problem Structure with LLMs for Optimized SAT Local Search

Schidler, André; Szeider, Stefan

by André Schidler, Stefan Szeider

Reference:

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

Bibtex Entry:

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