This repository serves as a documentation for the experiments described in our publications involving Mallob.
- SAT 2021 publication "Scalable SAT Solving in the Cloud".
- Euro-Par 2022 submission "Decentralized Malleable Scheduling of NP-complete Jobs".
Please see the respective subdirectory for more information.