Matthieu Py

Doctorant – LIS UMR 7020

Thèmes :

PPC – Contraintes et SAT

Mots-clés :

• Max-SAT
• Recherche Opérationnelle
• Optimisation
• Algorithmique

Modifier vos informations