Mallob: Scalable SAT Solving On Demand With Decentralized Job Scheduling
Sanders, Peter
1; Schreiber, Dominik
1
1 Institut für Theoretische Informatik (ITI), Karlsruher Institut für Technologie (KIT)
1; Schreiber, Dominik
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 | Zeitschriftenaufsatz |
| Publikationsdatum | 09.08.2022 |
| Sprache | Englisch |
| Identifikator | ISSN: 2475-9066 KITopen-ID: 1000151100 |
| Erschienen in | Journal of Open Source Software |
| Verlag | Open Journals |
| Band | 7 |
| Heft | 76 |
| Seiten | 4591 |
| Nachgewiesen in | OpenAlex Dimensions |
| Globale Ziele für nachhaltige Entwicklung |