A SAT-Benchmark Set from the Approximation of Trigonometric Functions for SAT-based Verification
Hiller, Kai; Weigl, Alexander
1
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
11 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
| 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 |