BAARIR Souheib

Associate Professor
Team : MoVe
Departure date : 08/31/2022
https://lip6.fr/Souheib.Baarir
https://lip6.fr/Souheib.Baarir

2 PhD students (Supervision / Co-supervision)

  • 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 PhD graduated 2013 - 2023

2004-2022 Publications