Editor: @danielskatz (all papers)
Reviewers: @ARMartinelli (all reviews), @massimotorquati (all reviews)
Peter Sanders (0000-0003-3330-9349), Dominik Schreiber (0000-0002-4185-1851)
Sanders et al., (2022). Mallob: Scalable SAT Solving On Demand With Decentralized Job Scheduling. Journal of Open Source Software, 7(76), 4591, https://doi.org/10.21105/joss.04591
C++ online job scheduling malleability load balancing propositional satisfiability SAT solving parallel processing HPC
Authors of JOSS papers retain copyright.
This work is licensed under a Creative Commons Attribution 4.0 International License.
Journal of Open Source Software is an affiliate of the Open Source Inititative.
Journal of Open Source Software is part of Open Journals, which is a NumFOCUS-sponsored project.
Public user content licensed CC BY 4.0 unless otherwise specified.