Article:
Large Language Models in SAT Reasoning

Thumbnail Image
Files
09.pdf (449.6 KB)
Date
2026
Journal Title
Journal ISSN
Volume Title
Publisher
Alternative Title
Authors
Hyner, Petr
Dušek, František
Adamczyk, David
Hůla, Jan
Editor
Published in
Thumbnail Image
Publication
Proceedings of The Eighteenth International Conference on Fuzzy Set Theory and Applications
(Ostravská univerzita, 2026) Stupňanová, Andrea; Dyba, Martin; Pavliska, Viktor
Sborník z mezinárodní konference FSTA 2026.
Journal Issue
Articles
Abstract
Description
 :
Subject Headings
fuzzy systémy, matematika, informatika
Keywords
fuzzy systems, mathematics, informatics
ISBN
ISSN
DOI
10.15452/978-80-7599-515-5.2026.09
License
CC BY 4.0
Citation
HYNER, 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.
URI - Permanent Link
https://eduo.osu.cz/handle/1/232
Collections
články