KIT | KIT-Bibliothek | Impressum | Datenschutz

A SAT-Benchmark Set from the Approximation of Trigonometric Functions for SAT-based Verification

Hiller, Kai; Weigl, Alexander ORCID iD icon 1
1 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
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page