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 : Octobre 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
Décembre 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