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