SAT_2017_Painless

该论文包括SAT并行求解的基础策略，Painless并行框架（任务组织，顺序求解器接口，线程信息共享），与现有求解器的对比。

原论文 幻灯片