Cita APA (7a ed.)

Schidler, A., & Szeider, S. (2025). Extracting Problem Structure with LLMs for Optimized SAT Local Search.

Cita Chicago Style (17a ed.)

Schidler, André, y Stefan Szeider. Extracting Problem Structure with LLMs for Optimized SAT Local Search. 2025.

Cita MLA (9a ed.)

Schidler, André, y Stefan Szeider. Extracting Problem Structure with LLMs for Optimized SAT Local Search. 2025.