A short CV

I am currently a PhD student in Artificial Intelligence at CRIL reseach center in Lens (France), working with
Lakhdra 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

    International

    • 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).

    National

    • 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).

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
  • Algorithmique et programmation 2
  • Base de données
  • Culture numérique