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
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 |