Monsieur Mohamed Sami CHERIF / PhD

enseignant-chercheur, enseignant du supérieur*

Contact details

Jobs

Research : NON

PhD

Title : Informatique

First registration date : 1 October 2019 / 3A

Doctoral school : Mathématiques et Informatique de Marseille

Thesis defense date : 13 December 2022

Subject : Raisonnement et inférence pour la satisfiabilité (Maximum)

Thesis supervisor : HABET Djamal

Thesis co-supervisor : OSTROWSKI Richard

Research unit : LIS Laboratoire d'Informatique et Systèmes

Master's degree

Title : Master Informatique

December 2018 - Aix-Marseille Université

Mention : Très Bien

Publications

  • Certificats d'optimalité pour Max-SAT
    2022
    Matthieu Py, Mohamed Sami Cherif, Djamal Habet
    https://hal-amu.archives-ouvertes.fr/hal-03737729/document
  • De la résolution à la max-résolution
    2022
    Mohamed Sami Cherif, Djamal Habet, Matthieu Py
    https://hal-amu.archives-ouvertes.fr/hal-03714732/document
  • Explication de clauses et de formules dans Max-SAT
    2022
    Matthieu Py, Mohamed Sami Cherif, Djamal Habet
    https://hal-amu.archives-ouvertes.fr/hal-03737733/document
  • Max-réfutations et oracles SAT
    2022
    Matthieu Py, Mohamed Sami Cherif, Djamal Habet
    https://hal-amu.archives-ouvertes.fr/hal-03737731/document
  • A Proof Builder for Max-SAT
    2021
    Matthieu Py, Mohamed Sami Cherif, Djamal Habet
    https://hal.archives-ouvertes.fr/hal-03343022/document
  • Combining VSIDS and CHB Using Restarts in SAT
    2021
    Mohamed Sami Cherif, Djamal Habet, Cyril Terrioux
    https://hal-amu.archives-ouvertes.fr/hal-03402696/document
  • Computing Max-SAT Refutations using SAT Oracles
    2021
    Matthieu Py, Mohamed Sami Cherif, Djamal Habet

  • 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
  • Inferring Clauses and Formulas in Max-SAT
    2021
    Matthieu Py, Mohamed Sami Cherif, Djamal Habet

  • 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
  • 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
  • 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
  • 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
  • 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
    Artificial Intelligence, 2020
    Mohamed Sami Cherif, Djamal Habet, André Abramé

  • Sur l'UP-résilience des k-UCSs binaires
    2019
    Mohamed Sami Cherif, Djamal Habet
    https://hal-amu.archives-ouvertes.fr/hal-02295161/document
  • 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
  • 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

Languages

Anglais : C1 - Avancé

Espagnol : A1 - Débutant

Français : C2 - Courant

Arabe : C2 - Maternel