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.) CitationSchidler, 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.) CitationSchidler, 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.
Warning: These citations may not always be 100% accurate.