Monsieur André ABRAME / PhD

Contact details

Jobs

Research : NON

PhD

Title : Informatique

First registration date : 1 October 2011 / 4A

Doctoral school : Mathématiques et Informatique de Marseille

Thesis defense date : 25 September 2015

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

Thesis supervisor : JEGOU Philippe

Thesis co-supervisor : HABET Djamal

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

Master's degree

Title : Master SIS

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

Mention : Bien

Publications

  • 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

Languages

Anglais : C1 - Avancé

Italien : B1 - Intermédiaire