Pascal Vander-Swalmen

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

	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

Coauthor Index