enseignant-chercheur, enseignant du supérieur*
Coordonnées
D204, 10 Chemin du Bassin 13014 MARSEILLE 14E ARRONDISSEMENT
Doctorat
Intitulé : Informatique
1ère inscription en thèse :
October 2019 /
3A these 2021
École doctorale :
Mathématiques et Informatique de Marseille
Sujet :
Structures des formules du problème de satisfiabilité propositionnelle
Directeur de thèse :
Djamal HABET
Co-directeur :
Richard OSTROWSKI
Unité de recherche :
LIS Laboratoire d'Informatique et Systèmes
Intitulé de l'équipe :
Master
Intitulé : Master Informatique
December 2018 - Aix-Marseille Université
Mention : Très Bien
Langues vivantes
Anglais : C1 - Avancé
Espagnol : A1 - Débutant
Français : C2 - Courant
Arabe : Maternel
Production scientifique
-
Towards the Characterization of Max-Resolution Transformations of UCSs by UP-Resilience
2019
Mohamed Sami Cherif, Djamal Habet
https://hal-amu.archives-ouvertes.fr/hal-02295154/document
-
Sur l'UP-résilience des k-UCSs binaires
2019
Mohamed Sami Cherif, Djamal Habet
https://hal-amu.archives-ouvertes.fr/hal-02295161/document
-
Formalising Executable Specifications of Low-Level Systems
2018
Paolo Torrini, David Nowak, Narjes Jomaa, Mohamed Sami Cherif
https://hal.archives-ouvertes.fr/hal-01829374/document
-
Understanding the power of Max-SAT resolution through UP-resilience
Artificial Intelligence
2020
Mohamed Sami Cherif, Djamal Habet, André Abramé
-
On the Refinement of Conflict History Search Through Multi-Armed Bandit
2020
Mohamed Sami Cherif, Djamal Habet, Cyril Terrioux
https://hal-amu.archives-ouvertes.fr/hal-03132228/document
-
Un bandit manchot pour combiner CHB et VSIDS
2021
Mohamed Sami Cherif, Djamal Habet, Cyril Terrioux
https://hal-amu.archives-ouvertes.fr/hal-03270931/document
-
Raffiner l'heuristique CHS à l'aide de bandits
2021
Mohamed Sami Cherif, Djamal Habet, Cyril Terrioux
https://hal-amu.archives-ouvertes.fr/hal-03270911/document
-
Towards Bridging the Gap Between SAT and Max-SAT Refutations
2020
Matthieu Py, Mohamed Sami Cherif, Djamal Habet
https://hal-amu.archives-ouvertes.fr/hal-03134416/document
-
Understanding the power of Max-SAT resolution through UP-resilience
2021
Mohamed Sami Cherif, Djamal Habet, André Abrame
https://hal-amu.archives-ouvertes.fr/hal-03334479/document
-
Des réfutations SAT aux réfutations Max-SAT *
2021
Matthieu Py, Mohamed Sami Cherif, Djamal Habet
https://hal.archives-ouvertes.fr/hal-03343027/document
-
A Proof Builder for Max-SAT
2021
Matthieu Py, Mohamed Sami Cherif, Djamal Habet
https://hal.archives-ouvertes.fr/hal-03343022/document