APA (7th ed.) Citation

Schidler, A., & Szeider, S. (2025). Extracting Problem Structure with LLMs for Optimized SAT Local Search. Proceedings of the International Symposium on Combinatorial Search, 18, 236-240. https://doi.org/10.1609/socs.v18i1.35999

Chicago Style (17th ed.) Citation

Schidler, André, and Stefan Szeider. "Extracting Problem Structure with LLMs for Optimized SAT Local Search." Proceedings of the International Symposium on Combinatorial Search 18 (2025): 236-240. https://doi.org/10.1609/socs.v18i1.35999.

MLA (9th ed.) Citation

Schidler, André, and Stefan Szeider. "Extracting Problem Structure with LLMs for Optimized SAT Local Search." Proceedings of the International Symposium on Combinatorial Search, vol. 18, 2025, pp. 236-240, https://doi.org/10.1609/socs.v18i1.35999.