SAT Competition 2020
Froleyks, Nils; Heule, Marijn; Iser, Markus
1; Järvisalo, Matti; Suda, Martin
1 Karlsruher Institut für Technologie (KIT)
1; Järvisalo, Matti; Suda, Martin1 Karlsruher Institut für Technologie (KIT)
Abstract:
The SAT Competitions constitute a well-established series of yearly open international algorithm implementation competitions, focusing on the Boolean satisfiability (or propositional satisfiability, SAT) problem. In this article, we provide a detailed account on the 2020 instantiation of the SAT Competition, including the new competition tracks and benchmark selection procedures, overview of solving strategies implemented in top-performing solvers, and a detailed analysis of the empirical data obtained from running the competition.
| Zugehörige Institution(en) am KIT | Fakultät für Informatik (INFORMATIK) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsjahr | 2021 |
| Sprache | Englisch |
| Identifikator | ISSN: 0004-3702, 1872-7921 KITopen-ID: 1000137076 |
| Erschienen in | Artificial Intelligence |
| Verlag | Elsevier |
| Band | 301 |
| Seiten | Art.-Nr.: 103572 |
| Nachgewiesen in | Scopus Web of Science Dimensions OpenAlex |
| Globale Ziele für nachhaltige Entwicklung |