On the dissertation “Scalable SAT Solving and its Application”
Schreiber, Dominik
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 | Zeitschriftenaufsatz |
| Publikationsdatum | 25.02.2025 |
| Sprache | Englisch |
| Identifikator | ISSN: 1611-2776, 0013-5720, 0179-9738, 0944-2774, 2196-7032 KITopen-ID: 1000182979 |
| Erschienen in | it - Information Technology |
| Verlag | De Gruyter |
| Band | 67 |
| Heft | 1 |
| Seiten | 46–53 |
| Nachgewiesen in | OpenAlex Dimensions Scopus |