SAOULI Sabrine

PhD student
Team : MoVe
Arrival date : 10/01/2020
    Sorbonne Université - LIP6
    Boîte courrier 169
    Couloir 25-26, Étage 2, Bureau 231
    4 place Jussieu
    75252 PARIS CEDEX 05
    FRANCE

Tel: +33 1 44 27 51 28, Sabrine.Saouli (at) nulllip6.fr
https://lip6.fr/Sabrine.Saouli

Supervision : Souheib BAARIR

Co-supervision : DUTHEILLET Claude

Exploitation des symétries locales pour les résolutions des problèmes SAT