PY - Matthieu
Toutes les publications (7)
| Date/Type | Titre/URL/journal | Domaines | Notes SJR/Core | Cit. GScholar |
|---|---|---|---|---|
| 2024
PROCEEDINGS |
Matthieu Py, Mohamed Amir Keskes
A preliminary Case Study on University Course Timetabling using Constraint Programming and Operations Research |
Informatique/Recherche opérationnelle | ||
| 2024
PROCEEDINGS |
Matthieu Py, Arnauld Tuyaba, Laurent Deroussi, Nathalie Grangeon, Sylvie Norre
Application of SAT to the Simple Assembly Line Balancing Problem with Power Peak Minimization |
Informatique/Recherche opérationnelle | ||
| 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/Recherche opérationnelle | ||
| 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/Recherche opérationnelle | ||
| 2022
ART |
Matthieu Py, Mohamed Sami Cherif, Djamal Habet
Proofs and Certificates for Max-SAT Journal of Artificial Intelligence Research - 2022 |