Article:
Large Language Models in SAT Reasoning

Simple item page
dc.audienceResearchersen
dc.contributor.authorHyner, Petr
dc.contributor.authorDušek, František
dc.contributor.authorAdamczyk, David
dc.contributor.authorHůla, Jan
dc.date.accessioned2026-02-06T09:13:12Z
dc.date.available2026-02-06T09:13:12Z
dc.date.issued2026
dc.description.sponsorshipThis contribution has been produced with the financial support of the European Union under the: Biography of Fake News with a Touch of AI: Dangerous Phenomenon through the Prism of Modern Human Sciences project no.: CZ.02.01.01/00/23 025/0008724 via the Operational Programme Jan Ámos Komenský. Model training and evaluation was supported by the Ministry of Education, Youth and Sports of the Czech Republic through the e-INFRA CZ (ID:90254).
dc.identifier.citationHYNER, 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.en
dc.identifier.doi10.15452/978-80-7599-515-5.2026.09
dc.identifier.urihttps://eduo.osu.cz/handle/1/232
dc.language.isoen
dc.rights.licenseCC BY 4.0
dc.subjectfuzzy systemsen
dc.subjectmathematicsen
dc.subjectinformaticsen
dc.subject.czenasfuzzy systémycz
dc.subject.czenasmatematikacz
dc.subject.czenasinformatikacz
dc.subject.konspekt519.1/.8 - Kombinatorika. Teorie grafů. Matematická statistika. Operační výzkum. Matematické modelovánícz
dc.titleLarge Language Models in SAT Reasoningen
dc.typeinfo:eu-repo/semantics/conferencePaper
dcterms.eventThe Eighteenth International Conference on Fuzzy Set Theory and Applications, Liptovský Ján, January 25 – 30, 2026
dspace.entity.typeArticle
oaire.resourceTypeconference paper
oaire.versioninfo:eu-repo/semantics/publishedVersion
relation.isPublicationOfArticle6afab15b-8c40-42f9-a7ec-39737fc00100
relation.isPublicationOfArticle.latestForDiscovery6afab15b-8c40-42f9-a7ec-39737fc00100
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
09.pdf
Size:
449.6 KB
Format:
Adobe Portable Document Format
Download
Collections
články