Coordonnées

Doctorat

Intitulé : Informatique
1ère inscription en thèse : Octobre 2011
École doctorale : Mathématiques et Informatique de Marseille
Date de soutenance de la thèse : 25 Septembre 2015
Sujet : Méthodes complètes et recherche locale pour Max-SAT
Directeur de thèse : Philippe JEGOU
Co-directeur : Djamal HABET
Unité de recherche : LIS Laboratoire d'Informatique et Systèmes
Intitulé de l'équipe :

Master

Intitulé : Master SIS
Juillet 2011 - Université Paul Cézanne - Aix-Marseille 3
Mention : Bien

Langues vivantes

Anglais : C1 - Avancé
Italien : B1 - Intermédiaire

Production scientifique

  • Inference Rules in Local Search for Max-SAT
    2012
    André Abramé et Djamal Habet
  • Improving Configuration Checking for Satisfiable Random k-SAT Instances
    2014
    André Abrame, Djamal Habet, Donia Toumi
  • Règles d'inférence et recherche locale pour Max-SAT
    2013
    André Abramé, Djamal Habet
  • Application Locale de la Max-Resolution dans les Solvers Branch & Bound pour Max-SAT
    2014
    André Abramé, Djamal Habet
  • Handling All Unit Propagation Reasons in Branch and Bound Max-SAT Solvers
    2014
    André Abramé, Djamal Habet
  • A Two-Levels Local Search Algorithm for Random SAT Instances with Long Clauses
    STAIRS 2014
    André Abramé, Djamal Habet, Donia Toumi
  • On the Extension of Learning for Max-SAT
    STAIRS 2014
    André Abramé, Djamal Habet
  • Efficient Application of Max-SAT Resolution on Inconsistent Subsets
    CP 2014
    André Abramé, Djamal Habet
  • Local Max-Resolution in Branch and Bound Solvers for Max-SAT
    ICTAI 2014
    André Abramé, Djamal Habet