| 2009 | ||
|---|---|---|
| 2 | Pascal Vander-Swalmen, Gilles Dequen, Michaël Krajecki: A Collaborative Approach for Multi-Threaded SAT Solving. International Journal of Parallel Programming 37(3): 324-342 (2009) | |
| 2008 | ||
| 1 | Pascal Vander-Swalmen, Gilles Dequen, Michaël Krajecki: On Multi-threaded Satisfiability Solving with OpenMP. IWOMP 2008: 146-157 | |
| 1 | Gilles Dequen | [1] [2] |
| 2 | Michaël Krajecki | [1] [2] |