LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » News
https://pages.lip6.fr/Souheib.Baarir

BAARIR Souheib

Photo Associate Professor
Team : MoVe
Localisation : Campus Pierre et Marie Curie
    Sorbonne Université - LIP6
    Boîte courrier 169
    Couloir 25-26, Étage 2, Bureau 208
    4 place Jussieu
    75252 PARIS CEDEX 05
    FRANCE
Tel: +33 1 44 27 61 92, Souheib.Baarir (at) nulllip6.fr
https://pages.lip6.fr/Souheib.Baarir

2 PhD students (Supervision / Co-supervision)

  • METIN Hakan : Exploitation des symétries dynamiques pour la résolution des problèmes SAT
  • VALLADE Vincent : Sharing groups for parallel SAT solvers

3 PhD graduated 2013 - 2019

2004-2019 Publications

 Mentions légales
Site map |