Page personnelle 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 Tweet