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: 
Proceedings - Proceedings
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:
Proceedings
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)

931
checked on Aug 22, 2025

Download(s)

1,318
checked on Aug 22, 2025

Google ScholarTM

Check