lundi 16 décembre 2024

Florian Régin soutiendra sa thèse de doctorat le lundi 16 Décembre à 15h00 dans l'amphithéâtre A1, Campus SophiaTech.

La thèse intitulée « Generative constraint programming » a été réalisée dans le pôle MDSC sous la direction de Elisabetta De Maria.

La présentation sera en anglais.

 

Résumé : 
La Programmation Par Contraintes (PPC) résout des problèmes combinatoires, tandis que le Model Checking (MC) vérifie automatiquement si un système satisfait une spécification. Les solveurs PPC sont moins performants que ceux de MC pour les problèmes de MC. Cette thèse vise à créer une technique PPC aussi efficace que les solveurs MC sur les problèmes de MC, et l'appliquer aux problèmes PPC classiques aussi efficacement que les solveurs de PPC traditionnel. Nous avons développé GenCP, inspiré du Generative Constraint Satisfaction Problem et du MC à-la-volée, et démontré son efficacité. 
La thèse propose aussi GenCPML, une hybridation PPC et Machine Learning (ML), où les domaines des variables sont générés dynamiquement par un modèle ML.