Proceedings of SAT Competitions
Series cover Cover der Schriftenreihe
Title (de) Titel (de)
Proceedings of SAT Competitions
Title (en) Titel (en)
Proceedings of SAT Competitions
Description (de) Beschreibung (de)
Die Proceedings der SAT Competitions enthalten von den Teilnehmenden verfasste, nicht peer-reviewte Beschreibungen der eingereichten SAT-Solver, Beweisprüfer und Benchmark-Sets. Diese nach jeder Veranstaltung veröffentlichten Proceedings bieten Forschenden und Praktiker_innen eine frei zugängliche Ressource, welche die neuesten Fortschritte und Trends im Bereich der SAT-Lösung aufzeigt.
Description (en) Beschreibung (en)
The Proceedings of the SAT Competitions compile participant-provided, non-peer-reviewed descriptions of submitted SAT solvers, proof checkers, and benchmark sets. These proceedings, published after each event, offer researchers and practitioners an openly accessible resource showcasing the latest advancements and trends in SAT solving.
Editor Herausgeber_in
First year in reposiTUm Erstes Jahr in reposiTUm
2025
Results 1-1 of 1 (Search time: 0.001 seconds).