Mouny Samy Modeliar - PRAG
Coordonnées
- 03 21 79 32 73
- samymodeliar@cril.univ-artois.fr
-
- iut
IUT de Lens
Rue de l'Université SP 16
62307 Lens Cedex
France
Diplôme en cours ou obtenu en étant au CRIL
- Thèse : Graphes et contraintes 2017-03-22
Axe de recherche
- Contraintes
-
Projet récent
- ANR SATAS 2016-2020
Publications
Articles de conférences internationales
2009 Gilles Audemard, Mouny Samy Modeliar, Laurent Simon, Pourquoi les solveurs SAT modernes se piquent-ils contre des cactus ? in Cinquièmes Journées Francophones de Programmation par Contraintes,pp. 245-255, 2009.