Monsieur André ABRAME / Docteur

Coordonnées

Emplois

Recherche : NON

Doctorat

Titre : Informatique

1ère inscription en thèse : 1 octobre 2011 / 4A

Ecole doctorale : Mathématiques et Informatique de Marseille

Date de soutenance de thèse : 25 septembre 2015

Sujet : Méthodes complètes et recherche locale pour Max-SAT

Directeur de thèse : JEGOU Philippe

Co-directeur : HABET Djamal

Unité de recherche : LIS Laboratoire d'Informatique et Systèmes

Master

Titre : Master SIS

juillet 2011 - Université Paul Cézanne - Aix-Marseille 3

Mention : Bien

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

Langues

Anglais : C1 - Avancé

Italien : B1 - Intermédiaire