Mouny Samy Modeliar - PRAG
Personal Data
- 03 21 79 32 73
- samymodeliar@cril.univ-artois.fr
-
- iut
IUT de Lens
Rue de l'Université SP 16
62307 Lens Cedex
France
Research Axis
- Constraints
-
Recent Project
- ANR SATAS 2016-2020
Publications
International conferences
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.