SAOULI Sabrine
在读博士 (ATER, Sorbonne Université)
科研组 : MoVe
到达日期 : 2020-10-2
Tel: +33 1 44 27 51 28, Sabrine.Saouli (at) nulllip6.fr
https://lip6.fr/Sabrine.Saouli
科研组 : MoVe
到达日期 : 2020-10-2
- 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
责任导师 : Souheib BAARIR
助理责任导师 : DUTHEILLET Claude
Exploitation des symétries locales pour les résolutions des problèmes SAT