Matthieu Py
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2020–2025
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CoDIT | Study about a Multi-start metaheuristic approach for the SALB3PM. | Thiago G. Araujo, Matthieu Py, Laurent Deroussi, Nathalie Grangeon |
| 2023 | IJCAI | Proofs and Certificates for Max-SAT (Extended Abstract). | Matthieu Py, Mohamed Sami Cherif, Djamal Habet |
| 2022 | CP | From Crossing-Free Resolution to Max-SAT Resolution. | Mohamed Sami Cherif, Djamal Habet, Matthieu Py |
| 2021 | ICTAI | Computing Max-SAT Refutations using SAT Oracles. | Matthieu Py, Mohamed Sami Cherif, Djamal Habet |
| 2021 | ICTAI | Inferring Clauses and Formulas in Max-SAT. | Matthieu Py, Mohamed Sami Cherif, Djamal Habet |
| 2021 | SAT | A Proof Builder for Max-SAT. | Matthieu Py, Mohamed Sami Cherif, Djamal Habet |
| 2020 | ICTAI | Towards Bridging the Gap Between SAT and Max-SAT Refutations. | Matthieu Py, Mohamed Sami Cherif, Djamal Habet |