BAARIR Souheib

Maître de Conférences [HDR]
Équipe : MoVe
Date de départ : 31/08/2022
https://lip6.fr/Souheib.Baarir
https://lip6.fr/Souheib.Baarir
Date de départ : 31/08/2022

3 Doctorants (Direction de recherche / Co-encadrement)

  • KHEIREDDINE Anissa : Parallélisation et optimisation du Bounded model-checking
  • SAOULI Sabrine : Exploitation des symétries locales pour les résolutions des problèmes SAT
  • XU Hao : Hybridation de méthode de compilation de contraintes, Solveurs SAT, méthodes d'apprentissage pour maîtriser la complexité de la gamme Renault

6 Docteurs 2013 - 2023

Publications 2004-2023

Mentions légales
Carte du site