Présentation :
J'effectue actuellement un ATER
(Attaché Temporaire d'Enseignement et de Recherche) à
l'Université d'Artois Jean Perrin de Lens et au
laboratoire du
CRIL dans l'axe « Algorithmes
pour l’inférence et contraintes ». Le sujet de ma thèse
est « SAT en Parallèle » et a pour
objectif la création d'algorithmes permettant la
résolution du problème SAT dans un
cadre massivement parralléle. Cette thèse a été réalisée
sous la direction de
Gilles Audemard (Professeur),
Jean-Marie
Lagniez (Maître de Conférences) et
Sébastien Tabary (Maître de
Conférences).
Liens de présentation de la
thèse : CRIL et theses.fr
Thèse : [SAT en Parallèle - Szczepanski Nicolas.pdf]
Présentée et soutenue publiquement le 12 décembre 2017
Mots-clés : SAT, calcul parallèle.
Thèse : [SAT en Parallèle - Szczepanski Nicolas.pdf]
Présentée et soutenue publiquement le 12 décembre 2017
Mots-clés : SAT, calcul parallèle.
News :
- DMC : un compteur de modèle distribué.
- D-Syrup : un solveur SAT « portfolio » basé sur Syrup et utilisant différents modèles de programmation distribuée. (New version : D-Syrup2)
- AmPharoS : un solveur SAT distribué « diviser pour mieux régner » réalisant une décomposition dynamique. Ce solveur, basé sur Glucose, a la particularité de partager des informations propres aux sous-problèmes générés.
Coordonnées :
- Nicolas Szczepanski
CRIL-CNRS UMR8188 – Université d'Artois
Faculté des Sciences Jean Perrin – Rue Jean Souvraz – SP 18
F-62307 LENS Cedex (France) - Bureau : D309
- Email : szczepanski@cril.fr
- Téléphone : +33 (0)3 21 79 17 87
- Fax : +33 (0)3 21 79 17 70
- Web: http://www.cril.fr/~szczepanski/