Page personnelle Gaël Glorian Chargé de Recherche – Huawei Technologies Ltd Page personnelle Thèmes : PPC – Contraintes et SAT Mots-clés : Hybridization SAT-CP Clauses Nogoods Combinatorial Optimization Modifier vos informations Tweet