Supervision : Souheib BAARIR

Co-supervision : 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

2021 Publications

• 2021
  • H. Xu, S. Baarir, T. Ziadi, L. Hillah, S. Essodaigui, Y. Bossu : “Optimisation for the product configuration system of Renault: towards an integration of symmetries”, 25^th ACM International Systems and Software Product Line Conference - Volume B, vol. B, SPLC '21: Proceedings of the 25^th ACM International Systems and Software Product Line Conference, Leicester, United Kingdom, pp. 86-90, (ACM) (2021)