Monsieur Mohamed Sami CHERIF / Docteur

Production scientifique

• 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