PY - Matthieu



Bât. MLT IUT Montlucon
matthieu.py@uca.fr
04
Researcher teacher
Axis ODPS: Decision-support tools for Production and Services
Thème(s) : Modeling and Optimization of Manufacturing Systems Service Design and Planning

Last publications in LIMOS

All the publications of Matthieu PY at LIMOS

Last publications in LIMOS
2023
COMM 		Matthieu Py, Mohamed Sami Cherif, Djamal Habet
Proofs and Certificates for Max-SAT (Extended Abstract) *
International Joint Conference 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