Pascal Vander-Swalmen

According to our database, Pascal Vander-Swalmen authored at least 6 papers between 2008 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

Partitioning Methods to Parallelize Constraint Programming Solver Using the Parallel Framework Bobpp.

Tarek Menouer, Bertrand Le Cun, Pascal Vander-Swalmen

Proceedings of the Advanced Computational Methods for Knowledge Engineering, 2013

2009

Aspects parallèles des problèmes de satisfaisabilité. (Parallel aspects of the satisfiability problem).

Pascal Vander-Swalmen

PhD thesis, 2009

A Collaborative Approach for Multi-Threaded SAT Solving.

Pascal Vander-Swalmen, Gilles Dequen, Michaël Krajecki

Int. J. Parallel Program., 2009

Automatic parallel SAT solving using MTSS.

Pascal Vander-Swalmen, Michaël Krajecki, Gilles Dequen

Proceedings of the 2009 International Conference on High Performance Computing & Simulation, 2009

Toward Easy Parallel SAT Solving.

Gilles Dequen, Pascal Vander-Swalmen, Michaël Krajecki

Proceedings of the ICTAI 2009, 2009

2008

On Multi-threaded Satisfiability Solving with OpenMP.

Pascal Vander-Swalmen, Gilles Dequen, Michaël Krajecki

Proceedings of the OpenMP in a New Era of Parallelism, 4th International Workshop, 2008