1 PhD student (Supervision / Co-supervision)

• XU Hao : Hybridation de méthode de compilation de contraintes, Solveurs SAT, méthodes d'apprentissage pour maîtriser la complexité de la gamme Renault

2005-2023 Publications