Nom : Prénom : Projet :    

Djamal HABET

Fiche d'information
Membre des projets : 
INCA (Inférence, Contraintes et Applications)
 
Maître de conférences titulaire d'une H.D.R 
(Marseille Nord)
AMU
 
04.91.28.83.21
djamalhabetlsisorg
http://www.lsis.org/habetd/
 
LSIS - UMR 7296 Faculté des Sciences et Techniques de Saint-Jérôme - Case Cour A Avenue Escadrille Normandie-Niemen 13397 Marseille Cedex 20
 
Liste des publications


Revues répertoriées

AUTEUR / TITRE Code
1 André ABRAME - Djamal HABET - Donia TOUMI GATFAOUI
"Improving Configuration Checking for Satisfiable Random k-SAT Instances" , in : Annals of Mathematics and Artificial Intelligencemai 2016 A paraitre
ACL
[bib]
2 André ABRAME - Djamal HABET
"Ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver" , in : Journal of Satisfiability, Boolean Modeling and Computation, Vol. 9, pp. 89-128dec 2015 
ACL
[bib]
3 Djamal HABET - VASQUEZ MICHEL. - VIMONT YANNICK.
"Bounding the Optimum for the Problem of Scheduling the Photographs of an Agile Earth Observing Satellite" , in : Journal of Computational Optimization and Applications, Vol. 47 (2), pp. 307-333sep 2010 DOI 10.1007/s10589-008-9220-7 (http://dx.doi.org/10.1007/s10589-008-9220-7)
ACL
[bib]
4 VASQUEZ MICHEL. - DUPONT AUDREY. - Djamal HABET
"Consistency Checking within Local Search Applied to the Frequency Assignment Problem with Polarization" , in : RAIRO Operations Research, Vol. 37, pp. 311-3232004 EDP Sciences
ACL
[bib]

Chapitres d'ouvrage

AUTEUR / TITRE Code
1 Djamal HABET
"Tabu Search to Solve Real-Life Combinatorial Optimization Problems: A Case of Study" , in : A. Abrham et al., Book on Foundations of Computational Intelligence Volume 3 - Global Optimization, Springer Verlag, Ch. 6, pp. 129-1512009 DOI 10.1007/978-3-642-01085-9
OS
[bib]
2 VASQUEZ MICHEL. - DUPONT AUDREY. - Djamal HABET
"Consistent Neighborhood in a Tabu Search" , in : Kluwer Academic Publishers, Metaheuristics: Progress as real Problem Sovers, MIC 2003 Post-conference volume2005 
OS
[bib]

Conférences internationales

AUTEUR / TITRE Code
1 André ABRAME - Djamal HABET
"Local Search Algorithm for the Partial Minimum Satisfiability Problem" , Proceedings of 27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2015), pp. 821-827nov 2015 
ACTI
[bib]
2 André ABRAME - Djamal HABET
"On the Resiliency of Unit Propagation to Max-Resolution" , In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), pp. 268-274jui 2015 
ACTI
[bib]
3 André ABRAME - Djamal HABET - Donia TOUMI GATFAOUI
"Tie-Breaking Heuristic in Configuration Checking for Random 3-SAT instances" , The 11th Metaheuristics International Conference (MIC 2015)jui 2015 
ACTI
[bib]
4 André ABRAME - Djamal HABET
"Local Max-Resolution in Branch and Bound Solvers for Max-SAT" , Proceedings of IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2014), pp. 336-343nov 2014 
ACTI
[bib]
5 André ABRAME - Djamal HABET
"Efficient Application of Max-SAT Resolution on Inconsistent Subsets" , in : Springer, Proceedings of the 20th International Conference on Principles and Practice of Constraint Programming (CP 2014), pp. 92-107sep 2014 
ACTI
[bib]
6 André ABRAME - Djamal HABET
"On the Extension of Learning for Max-SAT" , Proceedings of the 7th European Starting AI Researcher Symposium (STAIRS 2014), pp. 1–10aou 2014 
ACTI
[bib]
7 André ABRAME - Djamal HABET - Donia TOUMI GATFAOUI
"A Two-Levels Local Search Algorithm for Random SAT Instances with Long Clauses" , Proceedings of the 7th European Starting AI Researcher Symposium (STAIRS 2014), pp. 11–20aou 2014 
ACTI
[bib]
8 André ABRAME - Djamal HABET
"Maintaining and Handling All Unit Propagation Reasons in Exact Max-SAT Solvers" , Proceedings of the Seventh Annual Symposium on Combinatorial Search (SOCS 2014)aou 2014 
ACTI
[bib]
9 André ABRAME - Djamal HABET - Donia TOUMI GATFAOUI
"Improving Configuration Checking for Satisfiable Random k-SAT Instances " , International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, USAjan 2014 
ACTI
[bib]
10 Djamal HABET - Donia TOUMI GATFAOUI
"Empirical Study of the Behavior of Conflict Analysis in CDCL Solvers" , in : Springer Verlag, The 19th International Conference on Principles and Practice of Constraint Programming (CP 2013), Christian Schulte, Vol. LNCS 8124, pp. 678-693sep 2013 
ACTI
[bib]
11 Djamal HABET - Donia TOUMI GATFAOUI - André ABRAME
"Ncca+ : Configuration Checking and Novelty+ like heuristic" , Proceedings of SAT Competition 2013 : Solver and Benchmark Descriptions, Vol. B-2013-1, pp. 61jui 2013 Médaille de bronze : International SAT Competition 2013 - Core solvers: Random SAT Track
ACTI
[bib]
12 André ABRAME - Djamal HABET
"Inference Rules in Local Search for Max-SAT" , in : IEEE Computer Society, 24th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2012), pp. 207 - 214, Athens, Greecenov 2012 
ACTI
[bib]
13 Djamal HABET - Donia TOUMI GATFAOUI
"Local Search Based on Conflict Analysis for the Satisfiability Problem" , in : IEEE Computer Society, 24th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2012), pp. 892 - 897, Athens, Greecenov 2012 
ACTI
[bib]
14 Djamal HABET - Philippe JEGOU
"Toward a Generalization and a Reformulation of Goods in SAT ? Preliminary Report" , AAAI-2010 Workshop on Abstraction, Reformulation, and Approximation (WARA 2010), pp. 26 - 31, Atlanta, USAjui 2010 
ACTI
[bib]
15 Djamal HABET - Lionel PARIS - Cyril TERRIOUX
"A Tree Decomposition Based Approach to Solve Structured SAT Instances" , Proceedings of the 21th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2009), pp. 115-1222009 
ACTI
[bib]
16 Djamal HABET
"Enhancing the Robustness/Efficiency of Local Search Algorithms for SAT" , in : IEEE Computer Society, 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), Vol. 1, pp. 255-262, Dayton, Ohio, USAnov 2008 
ACTI
[bib]
17 Djamal HABET - Lionel PARIS - Belaïd BENHAMOU
"Consistent Neighborhood for the Satisfiability Problem" , in : IEEE, Proceedings of the 19th International Conference on Tools with Artificial Intelligence (ICTAI'07), pp. 497-501, Patras, Greecenov 2007 
ACTI
[bib]
18 Djamal HABET - VASQUEZ MICHEL.
"Improving Local Search for Satisfiability Problem by Integrating Structural Properties" , The 5th International Conference on Research, Innovation and Vision for the Future (RIVF'07), pp. 50-57, Hanoi, Vietnammar 2007 
ACTI
[bib]
19 Djamal HABET - VASQUEZ MICHEL.
"Using Variable Dependencies to solve SAT Problem" , Sixth Metaheuristics International Conference, Vienna, Austria2005 
ACTI
[bib]
20 VASQUEZ MICHEL. - Djamal HABET - VIMONT Y. - VLASAK JOEL.
"Scheduling Photographs of an Agile Earth Observing Satellite by a Tabu Search on a Consistent Neighborhood" , Proceedings of the International Symposium on Scheduling (ISS 2004), pp. 44-48, Hyogo, Japan2004 
ACTI
[bib]
21 Djamal HABET - VASQUEZ MICHEL.
"Cooperative Approach for the Satisfiability Problem" , Proceedings of the Third International Conference on Information, pp. 355-358, Tokyo, Japan2004 
ACTI
[bib]
22 VASQUEZ MICHEL. - Djamal HABET
"Using Symmetries for Coloring Queen Graphs" , Proceedings of the 16th European Conference on Artificial Intelligence (ECAI 2004), IOS Press, pp. 226-2302004 
ACTI
[bib]
23 Djamal HABET - VASQUEZ MICHEL.
"Solving the Selecting and Scheduling Satellite Photographs Problem with a Consistent Neighborhood Heuristic" , Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), IEEE Computer Society2004 
ACTI
[bib]
24 Djamal HABET - VASQUEZ MICHEL.
"Consistent and Saturated Neighborhood for Selecting and Scheduling Photographs of an Agile Earth Observing Satellite" , Actes de l'Ecole de l'Automne de Recherche Opérationnelle (EARO), pp. 125-130, Tours, France2003 
ACTI
[bib]
25 VASQUEZ MICHEL. - DUPONT AUDREY. - Djamal HABET
"Consistent Neighborhood in a Tabu Search" , Proccedings of the Fifth Metaheuristics International Conference (MIC'2003), pp. 77 : 1-6, Kyoto, Japan2003 
ACTI
[bib]
26 Djamal HABET - VASQUEZ MICHEL.
"Consistent and Saturated Neighborhood for Selecting and Scheduling Photographs of an Agile Earth Observing Satellite" , Proceedings of the Fifth Metaheuristics International Conference (MIC 2003), pp. 28 : 1-6, Kyoto, Japan2003 
ACTI
[bib]
27 VASQUEZ MICHEL. - Djamal HABET - DUPONT AUDREY.
"Neighborhood Design by Consistency Checking" , Actes du cinquième congrès de la société Française de Recherche Opérationnelle et d'Aide à la décision (ROADEF'2003), pp. 404, Avignon, France2003 
ACTI
[bib]
28 Djamal HABET - CHU. MIN LI - DEVENDEVILLE LAURE. - VASQUEZ MICHEL.
"A Hybrid Approach for SAT" , Proceedings of the Eighth International Conference on Principles and Practice of Constraint Programming (CP'02), Springer, Vol. 2470, pp. 172-184, Lecture Notes in Computer Science (LNCS)2002 
ACTI
[bib]
29 VASQUEZ MICHEL. - Djamal HABET - DUPONT AUDREY.
"Neighborhood Design by Consistency Checking" , Proceedings of the International workshop on Heuristics (IWH'02), Vol. 4, pp. 19-27, Beijing, China2002 
ACTI
[bib]

Conférences nationales

AUTEUR / TITRE Code
1 André ABRAME - Djamal HABET
"De la résilience de la propagation unitaire aux transformations par max-résolution" , Douzièmes Journées Francophones de Programmation par Contraintes (JFPC 2016)jui 2016 A paraitre
ACTN
[bib]
2 André ABRAME - Djamal HABET
"Application Locale de la Max-Resolution dans les Solvers Branch & Bound pour Max-SAT" , Dixièmes Journées Francophones de Programmation par Contraintes (JFPC 2014), pp. 203-211jui 2014 
ACTN
[bib]
3 Djamal HABET - Donia TOUMI GATFAOUI
"Une étude empirique du module d'analyse de conflits dans les solveurs CDCL" , Neuvièmes Journées Francophones de Programmation par Contraintes (JFPC 2013), pp. 303-312jui 2013 
ACTN
[bib]
4 André ABRAME - Djamal HABET
"Règles d'inférence et recherche locale pour Max-SAT et Max-SAT valué" , Neuvièmes Journées Francophones de Programmation par Contraintes (JFPC 2013), pp. 1-10jui 2013 
ACTN
[bib]
5 Djamal HABET - Donia TOUMI GATFAOUI
"Une recherche locale dirigée par l’analyse de conflits pour la satisfiabilité " , Huitièmes Journées Francophones de Programmation par Contraintes (JFPC 2012), pp. 131-135, Toulouse, Francemai 2012 
ACTN
[bib]
6 Djamal HABET - Lionel PARIS - Cyril TERRIOUX
"Une approche basée sur la décomposition arborescente pour la résolution d'instances SAT structurées" , Acte des 5èmes Journées Francophones de Programmation par Contraintes (JFPC'09), pp. 85-94, Orl'{e}ans, Francejui 2009 
ACTN
[bib]
7 Lionel PARIS - Djamal HABET - Belaïd BENHAMOU
"Voisinage consistant pour le problème de satisfaisabilité" , Actes des troisièmes Journées Francophones de Programmation par Contraintes (JFPC'2007), pp. 58-66, Rocquencourt, Francejui 2007 
ACTN
[bib]
8 Djamal HABET - VASQUEZ MICHEL. - DUPONT AUDREY.
"Voisinage consistant sur des configurations partielles pour la résolution de problèmes réels de grande taille" , Actes des Premières Journées Francophones de Programmation par Contraintes (JFPC'2005), pp. 439, 442, Lens, France2005 
ACTN
[bib]
9 VASQUEZ MICHEL. - Djamal HABET
"Algorithmes complet et incomplet pour la coloration des graphes de reines" , in : Hermès, Actes des Tréizièmes Journées Francophones de Programmation en Logique et de programmation par Contraintes (JFPLC'2004), pp. 239, 252, Angers, France2004 
ACTN
[bib]
10 Djamal HABET - VASQUEZ MICHEL.
"Gestion de la mission d'un satellite agile d'observation de la Terre" , Actes du cinquième congrès de la société Française de Recherche Opérationnelle et d'Aide à la décision, Avignon, France2003 Challenge ROADEF'2003 - Livret de résumés
ACTN
[bib]
11 Djamal HABET - CHU. MIN LI - DEVENDEVILLE LAURE. - GUERIN JEAN-LUC. - VASQUEZ MICHEL.
"Une approche hybride pour SAT" , Actes des huitièmes Journées Nationales sur la résolution Pratique de Problèmes NP-Complets (JNPC'02), pp. 115-125, Nice, France2002 
ACTN
[bib]

Conférences sans actes

AUTEUR / TITRE Code
1 DUPONT A. - VASQUEZ M. - Djamal HABET
"Consistent Neighbourhood in a Tabu Search" , Workshop on Combination of metaheuristic and local search with Constraint Programming techniques (MLS+CP), University of Nantes, Nantes - Francenov 2005 
COM
[bib]
2 VASQUEZ MICHEL. - Djamal HABET
"Cooperative Approach for the Satisfiability Problem" , International Federation of Operational Research Societies (IFORS), Hawaïjui 2005 
COM
[bib]
3 VASQUEZ MICHEL. - DUPONT AUDREY. - Djamal HABET
"Neighborhood Design by Consistency Checking" , International Federation of Operational Research Societies (IFORS), Hawa"{i}2005 Papier Invité
COM
[bib]
4 Djamal HABET - VASQUEZ MICHEL.
"Tabu Search on a Consistent and Saturated Neighborhood for Selecting and Scheduling Photographs of an Agile Earth Observing Satellite" , Bulletin de la société française de recherche Opérationnelle et d'Aide à la Décision (ROADEF) (10), pp. 11-142003 Papier Invité
COM
[bib]

Rapports de recherche

AUTEUR / TITRE Code
1 Djamal HABET - Donia TOUMI GATFAOUI
"Relevant Clause Analysis in Modern SAT Solvers" jui 2012 
AP
[bib]
2 Djamal HABET - Lionel PARIS - Cyril TERRIOUX
"A Tree Decomposition Based Approach to Solve Structured Satisfiability Instances" (LSIS.RR.2009.002)2009 
AP
[bib]

Thèse

AUTEUR / TITRE Code
1 Djamal HABET
"Coopération entre recherches locale et exhaustive pour l'optimisation combinatoire" , Université de Picardie Jules Verne, Ecole des Mines d'Alès (LGI2P, Nîmes), Amiensdec 2004 
[bib]