On Multi-threaded Satisfiability Solving with OpenMP. - Pascal Vander-Swalmen; Gilles Dequen; Michaël Krajecki (IWOMP, 2008)

Toward Easy Parallel SAT Solving. - Gilles Dequen; Pascal Vander-Swalmen; Michaël Krajecki (ICTAI, 2009)

Automatic parallel SAT solving using MTSS. - Pascal Vander-Swalmen; Michaël Krajecki; Gilles Dequen (HPCS, 2009)

A Collaborative Approach for Multi-Threaded SAT Solving. - Pascal Vander-Swalmen; Gilles Dequen; Michaël Krajecki (Int. J. Parallel Program., 2009)

Aspects parallèles des problèmes de satisfaisabilité. (Parallel aspects of the satisfiability problem). - Pascal Vander-Swalmen (2009)

Partitioning Methods to Parallelize Constraint Programming Solver Using the Parallel Framework Bobpp. - Tarek Menouer; Bertrand Le Cun; Pascal Vander-Swalmen (Advanced Computational Methods for Knowledge Engineering, 2013)