<div class="csl-bib-body">
<div class="csl-entry">Codel, C., Fazekas, K., Heule, M. J. H., & Iser, M. (Eds.). (2025). <i>Proceedings of SAT Competition 2025 : Solver and Benchmark Descriptions</i>. https://doi.org/10.34726/10379</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/218424
-
dc.identifier.uri
https://doi.org/10.34726/10379
-
dc.language.iso
en
-
dc.relation.ispartofseries
Proceedings of SAT Competitions
-
dc.rights.uri
http://creativecommons.org/licenses/by/4.0/
-
dc.subject
SAT
en
dc.subject
SAT Solving
en
dc.subject
Propositional Satisfiability Problem
en
dc.title
Proceedings of SAT Competition 2025 : Solver and Benchmark Descriptions
-
dc.type
Report
en
dc.type
Bericht
de
dc.rights.license
Creative Commons Namensnennung 4.0 International
de
dc.rights.license
Creative Commons Attribution 4.0 International
en
dc.identifier.doi
10.34726/10379
-
dc.contributor.editoraffiliation
Carnegie Mellon University, United States of America (the)
-
dc.contributor.editoraffiliation
Carnegie Mellon University, United States of America (the)
-
dc.contributor.editoraffiliation
Karlsruhe Institute of Technology, Germany
-
dc.type.category
Edited Volume
-
dc.type.category
Research Report
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.id
C4
-
tuw.researchTopic.id
C5
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.name
Mathematical and Algorithmic Foundations
-
tuw.researchTopic.name
Computer Science Foundations
-
tuw.researchTopic.value
50
-
tuw.researchTopic.value
30
-
tuw.researchTopic.value
20
-
tuw.publication.orgunit
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
