A short CV
I am currently a PhD student in Artificial Intelligence at CRIL reseach center in Lens (France), working withLakhdra Sais and Yakoub Salhi. My research focuses on the characterization of new tractable classes for SAT via graph theory. See on CRIL website
I obtained my second Master degree in Artificial Intelligence from University of Artois (Lens, France).
Before coming to France, I obtained my first Master degree in Artificial Intelligence from U.S.T.H.B (Algiers, Algeria).
Publications
- 2017 Y. Boumarafi, L. Sais, Y. Salhi, From SAT to Maximum Independent Set: A New Approach to Characterize Tractable Classes., in 21st International conference on Logic for Programming, Artificial intelligence and Reasoning (LPAR 2017).
- 2017 Y. Boumarafi, L. Sais, Y. Salhi, Caractérisation de nouvelles classes traitables en SAT via la théorie des graphes., in Treizièmes Journées Francophones de Programmation par Contraintes (JFPC'17).
International
National
Organizing Committee
- Treizièmes Journées Francophones de Programmation par Contraintes - Montreuil sur Mer - JFPC'17
- The 30th International Conference on Industrial, Engineering, Other Applications of Applied Intelligent Systems - Arras - IEA/AIE 2017
Teaching
- Algorithmique et programmation 1 (L 1)
- Algorithmique et programmation 2 (L 1)
- Base de données (L 2)
- Culture numérique (L 1 + L 2)