Pascal Vander-Swalmen

Publication Activity (10 Years)

Years Active: 2008-2009
Publications (10 Years): 0

University of Reims Champagne-Ardenne, France (PHD)

Education History

University of Reims Champagne-Ardenne, France

PHD

Publications

Gilles Dequen, Pascal Vander-Swalmen, Michaël Krajecki
Toward Easy Parallel SAT Solving. ICTAI (2009)
Pascal Vander-Swalmen, Michaël Krajecki, Gilles Dequen
Automatic parallel SAT solving using MTSS. HPCS (2009)
Pascal Vander-Swalmen, Gilles Dequen, Michaël Krajecki
A Collaborative Approach for Multi-Threaded SAT Solving. Int. J. Parallel Program. 37 (3) (2009)
Pascal Vander-Swalmen, Gilles Dequen, Michaël Krajecki
On Multi-threaded Satisfiability Solving with OpenMP. IWOMP (2008)