PY - Matthieu
Toutes les publications (5)
| Date/Type | Titre/URL/journal | Domaines | Notes SJR/Core | Cit. GScholar |
|---|---|---|---|---|
| 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 |