Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/218424
https://doi.org/10.34726/10379
-
Titel: 
Proceedings of SAT Competition 2025 : Solver and Benchmark Descriptions
-
Zitat: 
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
-
Publikationstyp: 
Bericht - Sammelband
de
Sprache: 
Englisch
-
Herausgeber_innen: 
Codel, Cayden 
Fazekas, Katalin 
Heule, Marijn J. H. 
Iser, Markus 
-
Organisations­einheit: 
E192-04 - Forschungsbereich Formal Methods in Systems Engineering 
E056-26 - Fachbereich Automated Reasoning 
-
Reihe: 
Proceedings of SAT Competitions 
-
Datum (veröffentlicht): 
Aug-2025
-
Umfang: 
58
-
Keywords: 
SAT; SAT Solving; Propositional Satisfiability Problem
en
Forschungs­schwerpunkte: 
Logic and Computation: 50%
Mathematical and Algorithmic Foundations: 30%
Computer Science Foundations: 20%
-
Wissenschafts­zweig: 
1020 - Informatik: 80%
1010 - Mathematik: 20%
-
Lizenz: 
CC BY 4.0 CC BY 4.0
en
Enthalten in den Sammlungen:
Report
Open Access Series

Miniaturbild
Volltext (Version of Record (published version))
Adobe PDF
(1.63 MB)
Open Access CC BY 4.0
Zur Langanzeige

Seiten Aufrufe

269
aufgerufen am 22.08.2025

Download(s)

385
aufgerufen am 22.08.2025

Google ScholarTM

Check