Keyword:clause sharing

Publications
Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers Marijn Heule, Norbert Manthey and Tobias Philipp In:POS-14. Fifth Pragmatics of SAT workshop
Modern Cooperative Parallel SAT Solving Norbert Manthey, Davide Lanti and Ahmed Irfan In:POS-13. Pragmatics of SAT 2013