Pascal Vander-Swalmen
Doctorant
Groupe SysCom
Département de Mathématiques
UFR Sciences Naturelles et Exactes
Moulin de la Housse
BP 1039
51687 Reims Cedex 2
FRANCE
Tél. : (+33) 3 26 91 89 09

Publications

Article dans une revue internationale avec comité de lecture

2009

BibTeX A Collaborative Approach For Multi-Threaded SAT Solving Publication avec comité de lecture Publication internationale
P. Vander-Swalmen, G. Dequen et M. Krajecki
Springer, International Journal of Parallel Programming, 37:324-342, 2009.

Communications internationales avec actes (3)

2009

BibTeX Automatic parallel SAT solving using MTSS Communication avec actes Communication avec comité de lecture Communication internationale
P. Vander-Swalmen, M. Krajecki et G. Dequen
High Performance Computing & Simulation (HPCS '09), IEEE, Leipzig, juin 2009.
BibTeX Toward Easy Parallel SAT Solving Communication avec actes Communication avec comité de lecture Communication internationale
G. Dequen, P. Vander-Swalmen et M. Krajecki
21st International Conference on Tools with Artificial Intelligence (ICTAI 2009), pp 425-432, Newark, New Jersey, 2009.

2008

BibTeX On Multi-Threaded Satisfiability Solving with OpenMP Communication avec actes Communication avec comité de lecture Communication internationale
P. Vander-Swalmen, G. Dequen et M. Krajecki
International Workshop on OpenMP 2008 (IWOMP 2008), LNCS, pp 146-157, Springer, Purdue University, Indiana, mai 2008.

Communication sans actes

2009

BibTeX MTSS : Vers une résolution parallèle du problème de satisfaisabilité Communication sans actes Communication avec comité de lecture Communication nationale
P. Vander-Swalmen, G. Dequen et M. Krajecki
NP-Par'09 (NP-Par'09), Toulouse, 2009.
Haut de la page

Principaux co-auteurs

Valid XHTML 1.1
Dernière mise à jour : 2007-03-28 15:21:32