| Kissat mab: Combining vsids and chb through multi-armed bandit MS Cherif, D Habet, C Terrioux SAT COMPETITION 2021, 15, 2021 | 24 | 2021 |
| Combining vsids and chb using restarts in sat MS Cherif, D Habet, C Terrioux 27th International Conference on Principles and Practice of Constraint …, 2021 | 21 | 2021 |
| A proof builder for Max-SAT M Py, MS Cherif, D Habet Theory and Applications of Satisfiability Testing–SAT 2021: 24th …, 2021 | 21 | 2021 |
| Towards bridging the gap between sat and max-sat refutations M Py, MS Cherif, D Habet 2020 IEEE 32nd International Conference on Tools with Artificial …, 2020 | 20 | 2020 |
| Understanding the power of Max-SAT resolution through UP-resilience MS Cherif, D Habet, A Abramé Artificial Intelligence 289, 103397, 2020 | 18 | 2020 |
| On the refinement of conflict history search through multi-armed bandit MS Cherif, D Habet, C Terrioux 2020 IEEE 32nd International Conference on Tools with Artificial …, 2020 | 11 | 2020 |
| Proofs and certificates for Max-SAT M Py, MS Cherif, D Habet Journal of Artificial Intelligence Research 75, 1373-1400, 2022 | 10 | 2022 |
| Un bandit manchot pour combiner CHB et VSIDS MS Cherif, D Habet, C Terrioux Actes des 16èmes Journées Francophones de Programmation par Contraintes (JFPC), 2021 | 9 | 2021 |
| Inferring Clauses and Formulas in Max-SAT M Py, MS Cherif, D Habet 2021 IEEE 33rd International Conference on Tools with Artificial …, 2021 | 8 | 2021 |
| Computing Max-SAT Refutations using SAT Oracles M Py, MS Cherif, D Habet 2021 IEEE 33rd International Conference on Tools with Artificial …, 2021 | 7 | 2021 |
| Towards the characterization of max-resolution transformations of ucss by up-resilience MS Cherif, D Habet Principles and Practice of Constraint Programming: 25th International …, 2019 | 5 | 2019 |
| Kissat MAB: Upper Confidence Bound Strategies to Combine VSIDS and CHB MS Cherif, D Habet, C Terrioux SAT COMPETITION 2022, 14, 2022 | 4 | 2022 |
| Wmaxcdcl in maxsat evaluation 2023 J Coll, S Li, CM Li, F Manya, D Habet, MS Cherif, K He MaxSAT Evaluation 2023, 16-17, 2023 | 3 | 2023 |
| From Crossing-Free Resolution to Max-SAT Resolution MS Cherif, D Habet, M Py 28th International Conference on Principles and Practice of Constraint …, 2022 | 3 | 2022 |
| Formalising executable specifications of low-level systems P Torrini, D Nowak, N Jomaa, MS Cherif Verified Software. Theories, Tools, and Experiments: 10th International …, 2018 | 3 | 2018 |
| Verifying Optimums of (Partial) Max-SAT Formulas MS Cherif, D Habet, C Terrioux Proceedings of SAT Competition, 49, 2021 | 2 | 2021 |
| Des réfutations SAT aux réfutations Max-SAT M Py, MS Cherif, D Habet Journées Francophones de Programmation par Contraintes (JFPC 2021), 2021 | 2 | 2021 |
| Minimizing Working-Group Conflicts in Conference Session Scheduling Through Maximum Satisfiability S Cherif, H Sattoutah, CM Li, C Lucet, L Brisoux-Devendeville 30th International Conference on Principles and Practice of Constraint …, 2024 | 1 | 2024 |
| De la résolution à la max-résolution MS Cherif, D Habet, M Py Journées Francophones de Programmation par Contraintes (JFPC), 2022 | 1 | 2022 |
| Certificats d'optimalité pour Max-SAT M Py, MS Cherif, D Habet JFPC 2022, 2022 | 1 | 2022 |
