PY - Matthieu



Bât. MLT IUT Montlucon
matthieu.py@uca.fr
04
Enseignant chercheur
Axe ODPS : Outils Décisionnels pour la Production et les Services
Thème(s) : Modélisation et Optimisation des Systèmes Manufacturiers Conception et Planification de services

Dernière(s) publication(s) au LIMOS :

Toutes les publications de Matthieu PY au LIMOS

Dernière(s) publication(s) au LIMOS :
2023
COMM
Matthieu Py, Mohamed Sami Cherif, Djamal Habet
Proofs and Certificates for Max-SAT (Extended Abstract) *
International Joint Conferences on Artificial Intelligence - 2023
Informatique/Intelligence artificielle
2023
POSTER
Matthieu Py, Mohamed Sami Cherif, Djamal Habet
Proofs and Certificates for Max-SAT
Informatique/Intelligence artificielle
2023
COMM
Matthieu Py, Arnauld Tuyaba
Utilisation de SAT pour résoudre le problème SALBP avec minimisation du pic de consommation
Journées Francophones de Programmation par Contraintes (JFPC) - 2023
Informatique/Intelligence artificielle
2023
COMM
Matthieu Py, Arnauld Tuyaba
Résolution du problème SALB3PM grâce à une approche SAT
24ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision- ROADEF 2023 - 2023
Informatique/Intelligence artificielle
2022
ART
Matthieu Py, Mohamed Sami Cherif, Djamal Habet
Proofs and Certificates for Max-SAT
Journal of Artificial Intelligence Research - 2022