Parallel Satisfiability
2018 ◽
pp. 3-29
◽