Mohamed Sami Cherif
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
4
Active years
2019–2023
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 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 | CP | Combining VSIDS and CHB Using Restarts in SAT. | Mohamed Sami Cherif, Djamal Habet, Cyril Terrioux |
| 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 | On the Refinement of Conflict History Search Through Multi-Armed Bandit. | Mohamed Sami Cherif, Djamal Habet, Cyril Terrioux |
| 2020 | ICTAI | Towards Bridging the Gap Between SAT and Max-SAT Refutations. | Matthieu Py, Mohamed Sami Cherif, Djamal Habet |
| 2019 | CP | Towards the Characterization of Max-Resolution Transformations of UCSs by UP-Resilience. | Mohamed Sami Cherif, Djamal Habet |