SAT_2021_Mallob

简单介绍了分布式与并行的区别和分布式求解器Mallob的主要想法，幻灯片中省略了实验结果的展示。

原论文 幻灯片