并行SAT求解器23

截至2023年SAT竞赛中优秀求解器的简图（不完整）。并行以Painless框架为代表，介绍了PRS求解器的改进，分布式以Mallob框架为代表，介绍了改进。

SAT竞赛 幻灯片