A. Biere, (p)lingeling

W. Chrabakh and R. Wolski, GrADSAT : A parallel SAT solver for the grid, 2003.

G. Chu, P. Stuckey, and A. Harwood, Pminisat : a parallelization of minisat 2.0. Rapport technique, SAT Race, 2008.

A. Darwiche and K. Pipatsrisawat, Complete Algorithms, pp.99-130, 2009.

Y. Hamadi, S. Jabbour, C. Piette, and L. Saïs, Deterministic parallel DPLL, pp.127-132, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00868187

Y. Hamadi, S. Jabbour, and L. Sais, Control-Based Clause Sharing in Parallel SAT Solving, IJCAI, pp.499-504, 2009.
DOI : 10.1007/978-3-642-21434-9_10
URL : https://hal.archives-ouvertes.fr/hal-00865315

Y. Hamadi, S. Jabbour, and L. Saïs, ManySat : a parallel SAT solver, Dans JSAT, vol.6, pp.245-262, 2009.

A. Hyvärinen, T. Junttila, and I. Niemelä, Grid-based SAT solving with iterative partitioning and clause learning SArTagnan -a parallel portfolio SAT solver with lockless physical clause sharing, Pragmatics of SAT, pp.385-399, 2011.

M. Luby, A. Sinclair, and D. Zuckerman, Optimal speedup of las vegas algorithms, ISTCS, pp.128-133, 1993.

J. Marques-silva and K. Sakallah, GRASP -A New Search Algorithm for Satisfiability, proceedings of ICCAD, pp.220-227, 1996.

K. Pipatsrisawat and A. Darwiche, A Lightweight Component Caching Scheme for Satisfiability Solvers, proceedings of SAT, pp.294-299, 2007.
DOI : 10.1007/978-3-540-72788-0_28

T. Schubert, M. Lewis, and B. Becker, Pamiraxt : Parallel sat solving with threads and message passing, Dans JSAT, vol.6, issue.4, pp.203-222, 2009.

L. Zhang, C. Madigan, M. Moskewicz, and S. Malik, Efficient conflict driven learning in boolean satisfiability solver, pp.279-285, 2001.