Large Language Models in SAT Reasoning

CC BY 4.0Hyner, PetrDušek, FrantišekAdamczyk, DavidHůla, Jan2026-02-062026-02-062026HYNER, Petr; DUŠEK, František and HŮLA, Jan, 2026. Large Language Models in SAT Reasoning. Online. In: STUPŇANOVÁ, Andrea; DYBA, Martin and PAVLISKA, Viktor (eds.). Proceedings of The Eighteenth International Conference on Fuzzy Set Theory and Applications. Ostrava: University of Ostrava, p. 54-57. ISBN 978-80-7599-515-5. Available at: https://doi.org/10.15452/978-80-7599-515-5.2026.09.10.15452/978-80-7599-515-5.2026.09https://eduo.osu.cz/handle/1/232enfuzzy systemsmathematicsinformaticsLarge Language Models in SAT Reasoninginfo:eu-repo/semantics/conferencePaper519.1/.8 - Kombinatorika. Teorie grafů. Matematická statistika. Operační výzkum. Matematické modelovánífuzzy systémymatematikainformatika