Certified SAT solving with GPU accelerated inprocessing
Osama, Muhammad ; Wijs, Anton ; Biere, Armin 2023 Universität
- Link zu diesem Datensatz
-
https://d-nb.info/1332297390
- Titel
-
Certified SAT solving with GPU accelerated inprocessing
- Art des Inhalts
- Monographie
- Autor(en)
-
- Osama, Muhammad
- Wijs, Anton
- Biere, Armin
- Organisation(en)
-
- Albert-Ludwigs-Universität Freiburg im Breisgau (Lehrstuhl für Rechnerarchitektur)
- Verlag
- Freiburg : Universität [2023]
- Jahr
- Erscheinungsdatum: 2023
- Zeitliche Einordnung
- Erscheinungsdatum: 2024
- Umfang/Format
- Online-Ressource
- DOI
- 10.1007/s10703-023-00432-z
- Online
- https://doi.org/10.1007/s10703-023-00432-z
- Sprache
- eng
- Schlagwörter
-
- Anmerkungen
-
Formal methods in system design. - 62, 1-3 (2024) , 79-118, ISSN: 1572-8102
- Stand
- 10.07.2024 22:41
- Im Katalog seit
- 07.03.2026
Beschreibung vom Verlag
