XU Hao
在读博士
科研组 : MoVe
到达日期 : 2020-10-1
Tel: +33 1 44 27 65 28, Hao.Xu (at) nulllip6.fr
https://lip6.fr/Hao.Xu
科研组 : MoVe
到达日期 : 2020-10-1
- Sorbonne Université - LIP6
Boîte courrier 169
Couloir 24-25, Étage 4, Bureau 406
4 place Jussieu
75252 PARIS CEDEX 05
FRANCE
Tel: +33 1 44 27 65 28, Hao.Xu (at) nulllip6.fr
https://lip6.fr/Hao.Xu
责任导师 : Souheib BAARIR
助理责任导师 : HILLAH Lom Messan
Hybridation de méthode de compilation de contraintes, Solveurs SAT, méthodes d'apprentissage pour maîtriser la complexité de la gamme Renault