Sami Cherif
Orcid: 0000-0003-4646-9982
According to our database1,
Sami Cherif
authored at least 15 papers
between 2018 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Minimizing Working-Group Conflicts in Conference Session Scheduling Through Maximum Satisfiability (Short Paper).
Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024
2023
Constraints An Int. J., September, 2023
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
2022
Reasoning and Inference for (Maximum) Satisfiability: New Insights. (Raisonnement et Inférence pour la satisfiabilité (Maximum)).
PhD thesis, 2022
Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022
2021
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021
Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021
Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021
Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021
2020
Artif. Intell., 2020
Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, 2020
Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, 2020
2019
Towards the Characterization of Max-Resolution Transformations of UCSs by UP-Resilience.
Proceedings of the Principles and Practice of Constraint Programming, 2019
2018
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018