Scalable SAT Solving on Demand (Abstract)
Schreiber, Dominik
1; Sanders, Peter
1
1 Institut für Theoretische Informatik (ITI), Karlsruher Institut für Technologie (KIT)
1; Sanders, Peter
11 Institut für Theoretische Informatik (ITI), Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsdatum | 26.07.2024 |
| Sprache | Englisch |
| Identifikator | ISBN: 979-8-4007-0700-1 KITopen-ID: 1000173286 |
| Erschienen in | HOPC'24: Proceedings of the 2024 ACM Workshop on Highlights of Parallel Computing. Ed.: L. Dhulipala |
| Veranstaltung | 36th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2024), Nantes, Frankreich, 17.06.2024 – 21.06.2024 |
| Verlag | Association for Computing Machinery (ACM) |
| Seiten | 11–12 |
| Nachgewiesen in | Dimensions Scopus |