https://pages.lip6.fr/Souheib.Baarir

BAARIR Souheib

Photo Maître de Conférences
Équipe : MoVe
Localisation : Jussieu
    UPMC - LIP6
    Boîte courrier 169
    Couloir 25-26, Étage 2, Bureau 208
    4 place Jussieu
    75252 PARIS CEDEX 05
Tel: 01 44 27 61 92, Souheib.Baarir (at) nulllip6.fr
https://pages.lip6.fr/Souheib.Baarir

2 Doctorants (Direction de recherche / Co-encadrement)

  • LE FRIOUX Ludovic : Parallélisation de SAT-SOLVER.
  • METIN Hakan : Exploitation des symétries dynamiques pour la résolution des problèmes SAT.

3 Docteurs 2013 - 2016

Publications 2004-2017

 Mentions légales
Carte du site |