高性能计算实验_SAT问题.docx

SAT 问题的 DP 并行算法采用master-slaver的策略。由主进程维护一个队列，首先给所有从进程分发一个任务，然后不断从从从进程取出任务并判断是否分发新任务，直至任务结束。