Record link: 
http://hdl.handle.net/20.500.12708/218424
https://doi.org/10.34726/10379
-
Title: 
Proceedings of SAT Competition 2025 : Solver and Benchmark Descriptions
-
Citation: 
Codel, C., Fazekas, K., Heule, M. J. H., & Iser, M. (Eds.). (2025). Proceedings of SAT Competition 2025 : Solver and Benchmark Descriptions. https://doi.org/10.34726/10379
-
reposiTUm DOI: 
10.34726/10379
-
Publication Type: 
Report - Edited Volume
en
Language: 
English
-
Editors: 
Codel, Cayden 
Fazekas, Katalin 
Heule, Marijn J. H. 
Iser, Markus 
-
Organisational Unit: 
E192-04 - Forschungsbereich Formal Methods in Systems Engineering 
E056-26 - Fachbereich Automated Reasoning 
-
Series: 
Proceedings of SAT Competitions 
-
Date (published): 
Aug-2025
-
Number of Pages: 
58
-
Keywords: 
SAT; SAT Solving; Propositional Satisfiability Problem
en
Research Areas: 
Logic and Computation: 50%
Mathematical and Algorithmic Foundations: 30%
Computer Science Foundations: 20%
-
Science Branch: 
1020 - Informatik: 80%
1010 - Mathematik: 20%
-
License: 
CC BY 4.0 CC BY 4.0
en
Appears in Collections:
Report
Open Access Series

Thumbnail
Fulltext (Version of Record (published version))
Adobe PDF
(1.63 MB)
Open Access CC BY 4.0
Show full item record

Page view(s)

269
checked on Aug 22, 2025

Download(s)

385
checked on Aug 22, 2025

Google ScholarTM

Check