BAARIR Souheib

Profesor universitario
Equipo : MoVe
Fecha de salida : 31/08/2022
https://lip6.fr/Souheib.Baarir
https://lip6.fr/Souheib.Baarir
Fecha de salida : 31/08/2022

3 Estudiantes de doctorado (Dirección de investigación / Co-supervisión)

  • 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 Doctores 2013 - 2023

Publicaciones 2004-2023

Mentions légales
Mapa del sitio