tag:joss.theoj.org,2005:/papers/tagged/load%20balancingJournal of Open Source Software2022-08-09T14:09:57ZJournal of Open Source Softwarehttps://joss.theoj.orgtag:joss.theoj.org,2005:Paper/36902022-08-09T14:09:57Z2022-08-10T00:01:11ZMallob: Scalable SAT Solving On Demand With Decentralized Job Schedulingacceptedv1.0.02022-06-29 13:27:02 UTC762022-08-09 14:09:57 UTC720224591PeterSandersKarlsruhe Institute of Technology, Germany0000-0003-3330-9349DominikSchreiberKarlsruhe Institute of Technology, Germany0000-0002-4185-185110.21105/joss.04591v1.1.0Pythonhttps://joss.theoj.org/papers/10.21105/joss.04591.pdfC++, online job scheduling, malleability, load balancing, propositional satisfiability, SAT solving, parallel processing, HPC