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