KIT | KIT-Bibliothek | Impressum | Datenschutz

Mallob: Scalable SAT Solving On Demand With Decentralized Job Scheduling

Sanders, Peter ORCID iD icon 1; Schreiber, Dominik ORCID iD icon 1
1 Institut für Theoretische Informatik (ITI), Karlsruher Institut für Technologie (KIT)


Verlagsausgabe §
DOI: 10.5445/IR/1000151100
Veröffentlicht am 29.09.2022
Originalveröffentlichung
DOI: 10.21105/joss.04591
Dimensions
Zitationen: 3
Cover der Publikation
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 Dimensions
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page