Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
Publikationstyp | Proceedingsbeitrag |
Publikationsjahr | 2023 |
Sprache | Englisch |
Identifikator | ISSN: 1458-4786 KITopen-ID: 1000161712 |
Erschienen in | Proceedings of SAT Competition 2023 : Solver, Benchmark and Proof Checker Descriptions. Ed.: T. Balyo |
Veranstaltung | 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), Alghero, Italien, 04.07.2023 – 08.07.2023 |
Verlag | University of Helsinki |
Seiten | 57-60 |
Serie | Department of Computer Science Series of Publications B |
Externe Relationen | Abstract/Volltext |